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.

news:

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.