When to use AI? When not to use AI?
Moolya, Virtual, July 2025
LLMs + Program Synthesis
FM Update, Dhirubhai Ambani University, July 2025
The Art of Righting Code
IIIT Delhi, February 2025
Example-Guided Synthesis of Relational Queries
RHPL, IIT Gandhinagar, December 2024
Symbolic Reasoning meets AI
BRICS Young Scientist Forum, Sochi, November 2024
How QR Codes Work
Emerald Heights International School, Indore, November 2024
Efficient Methods for SAT Solving
Indian Statistical Institute Kolkata, October 2024
How Many Nobel Laureates Does It
Take to Count Rs in Strawberry?
IEEE Caliper, Ashoka University, October 2024
Thesis Proposal
University of Pennsylvania, December 2022
Modular Program Synthesis
UNIX 50, Nokia Bell Labs, October 2019
Why Do We Debate?
TEDxIIESTShibpur, Shibpur, 2017
How Theory transformed Carnatic Music
TEDxMITS, Kochi, 2017