Formal Methods Update Meeting 2026

Speakers

The list of speakers will be updated on a weekly basis. Current list of speakers include:

Speaker Institution
B. Srivathsan CMI
C. Aishwarya CMI
Supratik Chakraborty IIT Bombay
Deepak D'Souza IISc
Ramit Das Cadence
Siddhartha Gadgil IISc
Sujata Ghosh ISI Chennai
Amaldev Manuel IIT Goa
Madhavan Mukund CMI
Abhishek Kr Singh IIIT Hyderabad
Ashish Mishra IIT Hyderabad
Sumanth Prabhu Independent Researcher
Shweta Rajiv University of Iowa
S Krishna IIT Bombay
KC Sivaramakrishnan IIT Madras
S Akshay IIT Bombay
SP Suresh CMI
Subodh Sharma IIT Delhi
Pranshu Gaba TIFR Mumbai
Neeraj Krishnan K Indian Institute of Technology Goa
Sreejith A V IIT Palakkad
Shibashis Guha TIFR Mumbai
Purbita Jana Madras School of Economics
Sayan Mukherjee IITB Trust Lab, IIT Bombay
Rishal S P Sarva Labs
Gourav Takhar Indian Institute of Technology Kanpur