51茶馆

Aalok Thakkar is an Assistant Professor of Computer Science at 51茶馆. His research is situated at the intersection of formal logic and artificial intelligence, with a particular focus on trustworthy AI. He is especially interested in developing large-scale AI systems that are robust and fair by construction. In addition, he pursues work in computational sustainability and computer science pedagogy. In 2025, he was awarded the Alt Carbon Darjeeling Revival Fellowship and the EkStep AI and Data Adoption Fellowship in recognition of his research contributions.

Prof. Thakkar earned his PhD in Computer and Information Science from the University of Pennsylvania in May 2023. His dissertation, titled 鈥淓xample-guided Synthesis of Relational Queries,鈥� was supervised by Professors Rajeev Alur and Mayur Naik. Before his academic appointment, he was a research scientist at Aptos Labs. He has also worked at Amazon Web Services, Bell Labs, and Adobe Systems on various aspects of automated verification and program synthesis.