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

NameAffiliationAcco Reqd?

c. AiswaryaChennai Mathematical Institute10 - 11 July 2019
Muqsit AzeemTRDDC, Pune09 - 12 July 2019
Soumyadip BandyopadhyayBITS Pilani Goa09 - 12 July 2019
A BaskarBITS Pilani K K Birla Goa Campus09 - 12 July 2019
Purandar BhaduriIIT Guwahati09 - 12 July 2019
Devendra BhaveMathWorks India Pvt. Ltd.10 - 11 July 2019
Venkatesh ChoppellaIIIT HydNo
Sukanya DekaIIT HyderabadNo
Radhakrishnan DelhibabuVIT Vellore09 - 12 July 2019
Deepak DSouzaIndian Institute of Science09 - 11 July 2019
Ashish Kumar DwivediNIT Rourkela10 - 11 July 2019
MANISH GAURCenter for Advanced Studies, AKTU Lucknow09 - 12 July 2019
Pankaj Kumar KalitaIIT Kanpur09 - 12 July 2019
R KeerthanChennai Mathematical Institute09 - 11 July 2019
Narayan Kumar KrishnanChennai Mathematical Institute10 - 11 July 2019
SHRAWAN KUMARTCS Research09 - 11 July 2019
Kumar MadhukarTRDDC, Pune09 - 12 July 2019
Amaldev ManuelIIT GOA09 - 11 July 2019
Ravindra MettaTata Consultancy Servies Ltd09 - 12 July 2019
Sahil MhaskarChennai Mathematical Institute09 - 12 July 2019
Sayan MukherjeeChennai Mathematical Institute09 - 11 July 2019
Madhavan MukundChennai Mathematical Institute10 - 11 July 2019
Narendra Kumar N VIDRBTNo
Rekha PaiIISc09 - 13 July 2019
Ramchandra PhawadeIndian Institute of Technology Dharwad09 - 12 July 2019
Sumanth PrabhuTRDDC09 - 12 July 2019
Tephilla Prince Indian Institute of Technology Dharwad10 - 11 July 2019
Venkatesh RTCS Research09 - 11 July 2019
Adwitee RoyChennai Mathematical Institute09 - 11 July 2019
Muktikanta SaIIT HyderabadNo
ABHISHEK SINGHI.E.T Lucknow09 - 12 July 2019
Mohini SinghBHU09 - 12 July 2019
S P SureshChennai Mathematical Institute09 - 12 July 2019