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. I work on applications of formal methods, automata theory and logic to problems in program analysis, verification, and synthesis.

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, and Nokia Bell Labs.

In Summer 2020, I am working as a reasearch scientist intern with Nathan Chong at Automated Reasoning Group, Amazon Web Services.