Research
I did my fourth year thesis with Professor Aalok Thakkar. Most of my research till now has been a part of that project. Broadly speaking, my research was on weighted automata and formal language theory. We focused on understanding representations of probability distributions over strings. This thesis won me the Best Thesis award in the department.
Localising Stochasticity in Weighted Automata
Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 2026
This paper is the result of my undergraduate thesis, Probability Distributions over Strings (full thesis report). My thesis defence presentation was intended for an audience that does not specialise in theoretical CS.
For people unfamiliar with weighted automata, these are the slides for a lecture I gave on them. For a more authoritative resource, consider these lecture notes.
From Transformers to Weighted Automata: Towards the Verification of Large Language Models
DATAMOD 2025, a satellite event of Software Engineering and Formal Methods (SEFM) 2025
This paper was a result of auxiliary research that I conducted during my thesis.