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

NameAffiliationAcco Reqd?

Sreejith A VIIT GoaNo
Abdullah Abdul KhadirChennai Mathematical Institute18 - 21 July 2018
S AkshayIIT Bombay20 - 21 July 2018
Gargi AlavaniBITS Pilani K. K. Birla Goa CampusNo
Muqsit AzeemTCS ResearchNo
Animesh BasakchowdhuryTCS Research18 - 22 July 2018
A BaskarBITS Pilani K K Birla Goa CampusNo
Eti ChaudharyIIT Hyderabad18 - 22 July 2018
Aiswarya CyriacCMI18 - 22 July 2018
SACHIN DARADEBITS-Pilani GoaNo
ramit dasIMSc18 - 22 July 2018
ramit dasIMSc18 - 22 July 2018
Tirtharaj DashBITS Pilani (Goa Campus)No
Radhakrishnan DelhibabuVIT Vellore18 - 22 July 2018
Deepak DSouzaIndian Institute of Science, Bangalore18 - 22 July 2018
Kissan Gauns DessaiGovt. College,QuepemNo
Raju HalderIIT Patna18 - 22 July 2018
Priyankha JPSG College of Technology18 - 22 July 2018
Saurabh JoshiIIT Hyderabad18 - 22 July 2018
Ramprasad S JoshiBITS Goa CS ISNo
Samhita KEnglish Centre 18 - 22 July 2018
Amogh Kamat TarcarPersistent SystemsNo
Narayan Kumar KrishnanCMI, Chennai18 - 20 July 2018
Shrawan KumarTCS ResearchNo
Pavan KumarVellore Institute of Technology19 - 22 July 2018
Raveendra Kumar MTata Consultancy Services18 - 22 July 2018
Achutha Kiran Kumar M V AIntel India Pvt Ltd18 - 22 July 2018
Amaldev ManuelIIT GoaNo
Prince MathewIIT GoaNo
Gautam MudugantiIIT Hyderabad18 - 22 July 2018
Madhavan MukundCMI18 - 20 July 2018
Ezudheen PIndian Institute of Science18 - 22 July 2018
HABEEB PIndian Institute of Science, Bengaluru18 - 22 July 2018
Anantha PadmanabhaInstitute of Mathematical Sciences18 - 22 July 2018
Rekha PaiIISc19 - 22 July 2018
Ramchandra PhawadeIIT Dharwad18 - 22 July 2018
Sumanth Prabhu STCS Research18 - 22 July 2018
Venkatesh RTCS Research18 - 21 July 2018
KUMARAVELU RVIT University, Vellore18 - 22 July 2018
r ramanujaminstitute of mathematical sciences, chennai18 - 22 July 2018
Sparsa RoychowdhuryIIT Bombay17 - 23 July 2018
Sanjay SahayBITS, Pilani, K.K. Birla Goa CampusNo
Abhisekh SankaranIMSc18 - 21 July 2018
SANTONU SARKARABB Corporate Research18 - 22 July 2018
Ulka ShrotriTCS ResearchNo
Uttaran SinhaIIT Hyderabad18 - 22 July 2018
Vaishnavi SundararajanCMI18 - 22 July 2018
S P SureshChennai Mathematical Institute18 - 22 July 2018
Pravati SwainNitgoa No