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. It also won the Best Thesis award.

Probability Distributions over Strings

Undergraduate Thesis, Ashoka University (2026)

My formal thesis defence presentation was intended for an audience that does not specialise in theoretical CS.

To get a more complete idea of what my thesis is, please have a look at this.

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.