Aalok Thakkar is currently an Assistant Professor of Computer Science at Ashoka University. His research focuses on integrating formal methods and artificial intelligence, with particular emphasis on applying formal methods in programming-by-examples for relational queries, synthesis of reactive programs, bounded model checking, verification of smart contracts, and text generation. He completed his PhD in Computer and Information Science from the University of Pennsylvania in May 2023, with a thesis on “Example-guided Synthesis of Relational Queries” under advisors Rajeev Alur and Mayur Naik. Prior to his academic appointment, Aalok worked with Movement Labs and Aptos Labs on verification of smart contracts. His research has been published in top-tier conferences such as VLDB, SPLASH, and PLDI.