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
Deepak D'Souza IISc
Siddhartha Gadgil IISc
Sujata Ghosh ISI Chennai
Madhavan Mukund CMI
Abhishek Kr Singh IIIT Hyderabad
Sumanth Prabhu Independent Researcher
Shweta Rajiv University of Iowa
S Krishna IIT Bombay
KC Sivaramakrishnan IIT Madras
SP Suresh CMI