Hi! Welcome to my home page. I am on the faculty of Theoretical Computer Science at the Chennai Mathematical Institute. My research interests include logic in computer science, concurrency and distributed computing, and formal methods for security. I did my PhD at the Institute of Mathematical Sciences with Jam.

My other interests include classical Indian logic and epistemology, Carnatic music, chess, and P G Wodehouse. And my mission in life is to prove beautiful theorems and present them in beautifully typeset papers!