aalok thakkar.

I am a doctoral student at the department of Computer and Information Science, University of Pennsylvania (Penn), where I am advised by Rajeev Alur. My research aims to help people create better software more easily. I work on applications of formal methods, automata theory, and logic to develop new frameworks and tools for computer-aided verification and synthesis of software.

Before Penn, I pursued an undergraduate degree in mathematics and computer science at Chennai Mathematical Institute. I have also had the pleasure to spend time and work at Laboratoire Specification et Verification, Adobe Systems, Nokia Bell Labs, and Amazon Web Services.


Our paper on Modular Synthesis of Reactive Systems will appear at SYNT 2020.

I will be working as a reasearch scientist intern with Nathan Chong at the Automated Reasoning Group, Amazon Web Services for Summer 2020.