Formal Methods Update Meeting 2025: Registered Participants
(email ids are not displayed)

NameAffiliationAcco Reqd?

Sreejith A VIIT GoaNo
Rudransh AgarwalIISER Pune02 - 05 July 2025
Rajdeep BaruriIndian Institute of Technology Dharwad02 - 05 July 2025
Sutirtha BhattacharyyaIndian Association for the Cultivation of Science02 - 05 July 2025
Abhishek BichhawatIIT GandhinagarNo
Rachit ChhayaDhirubhai Ambani UniversityNo
Rajiv DalalVellore Institute of Technology02 - 05 July 2025
Sarthak DasIIT GandhinagarNo
Radhakrishnan DelhibabuVIT Vellore02 - 04 July 2025
Pranshu GabaTIFR Mumbai02 - 05 July 2025
Sauvik GonIndian Association for the Cultivation of Science02 - 05 July 2025
Nidhi GunjalVellore Institute of Technology02 - 05 July 2025
Saksham JainIISER PuneNo
Kumar MadhukarIIT DelhiNo
Prince MathewIIT GoaNo
Aniket MishraIIT Gandhinagar02 - 05 July 2025
Krupa RajaniIIT gandhinagarNo
Krupa RajaniMs.No
Keerthan RaviTCS ResearchNo
Abhisekh SankaranTCS ResearchNo
Arijit ShawChennai Mathematical Institute02 - 05 July 2025
Vaishnavi SundararajanIIT DelhiNo
Saina SunnyIIT GoaNo
S P SureshChennai Mathematical InstituteNo
Anuj TawariSardar Patel Institute of Technology, Mumbai02 - 05 July 2025
Aalok ThakkarAshoka University02 - 05 July 2025
Abhijeet VardhanUniversity of Delhi02 - 05 July 2025