Epistemological Foundations of Mathematical Proof
Coming Soon.
About the Speaker
Aalok Thakkar is an Assistant Professor at the Ashoka School of Advanced Computing and an Alt-Carbon Darjeeling Revival Fellow at Ashoka University. He works on the applications of formal logic to programming languages, automated verification, and program synthesis. He is also actively engaged in computer science pedagogy and is committed to advancing accessibility in computing education. He maintains a strong interest in the history and philosophy of mathematics, particularly in how foundational ideas shape contemporary formal methods.
He received his PhD in 2023 from the University of Pennsylvania, advised by Rajeev Alur and Mayur Naik. During this time he developed the Example-Guided framework for program synthesis. He completed his undergraduate studies at the Chennai Mathematical Institute.
Recording
A recording will be available by the end of the week.