I am an undergraduate student reading Mathematics and Computer Science at Ashoka University. My research interests lie in quantum computation (error correction and fault tolerance) ∪ cryptography ∪ automata ∪ logic.
Additionally, I learn, practice, and listen to karnāṭik music as a vocal student of the art form for over a decade.
The wise words of Auvaiyār (similar sentiments have naturally been expressed by other philosophers) constitute my motto: “What is learned is but a handful of earth; what remains unknown is as vast as the cosmos” (kaṟṟatu kaimaṇ aḷavu, kallātatu ulakaḷavu).
This site is a work in progress. Please check back later to see if it's complete.
I attended the Formal Methods Update Meeting.
June 2026
I attended the Indian School of Logic and its Applications.
June 2026
My formalization of the Myhill-Nerode theorem has been merged into CSLib.
May 2026
My work on pollen classification as part of The Microscope Project has been has been accepted for presentation at the XXII INQUA Congress 2027.
May 2026