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

NameAffiliationAcco Reqd?

Dharani AQMC,ChennaiNo
Abdullah Abdul KhadirCMI16 - 17 July 2015
S. AkshayIIT BombayNo
Himanshu AroraIIScNo
Snigdha AthaiyaIndian Institute of Science, BengaluruNo
Ansuman BanerjeeIndian Statistical Institute16 - 17 July 2015
Harsh BeoharUniversity of Duisburg-EssenNo
Namit ChaturvediIBM-India Research LabsNo
Pallavi ChughIIScNo
Ankush DasMicrosoft ResearchNo
Manoj DixitMathWorks IndiaNo
Deepak DSouzaIndian Institute of ScienceNo
Meenakshi DSouzaIIIT-BangaloreNo
Ashish Kumar DwivediDepartment of CSE NIT Rourkela, ODISHA, INDIA-76900816 - 17 July 2015
Lakshmi Manasa GIIT BombayNo
Ashutosh GuptaTIFR15 - 17 July 2015
Shivam HandaMicrosoft Research IndiaNo
Guna Prasaad JMicrosoft Research IndiaNo
Sabuj Kumar JenaIISc BangaloreNo
Tanmay KhemkaMicrosoft Research IndiaNo
M V A Kiran KumarIntel Technologies 16 - 17 July 2015
Shrawan KumarTRDDCNo
Arnab KunduCAIR, DRDONo
Akash LalMicrosoft Research IndiaNo
Kamal LodayaIMScNo
Raveendra kumar MTata Consultancy ServicesNo
Kumar MadhukarTRDDC15 - 17 July 2015
Khushraj MadnanjIIT Bombay15 - 17 July 2015
Ravindra MettaTCS15 - 17 July 2015
Raj S MitraSynopsysNo
Suvam MukherjeeIndian Institute of ScienceNo
Madhavan MukundCMI15 - 17 July 2015
K Narayan KumarCMI15 - 17 July 2015
Paritosh PandyaTIFR15 - 17 July 2015
Clement John PaulCorporateNo
Venkatesh RTRDDC15 - 17 July 2015
K V RaghavanIndian Institute of Science, BangaloreNo
N. RajaTIFR15 - 18 July 2015
Ninad RajgopalIIScNo
G. RamalingamMicrosoft ResearchNo
Subhajit RoyIIT Kanpur15 - 18 July 2015
Savitha SCMR university affiliated by VTUNo
Prakash SaivasanCMI15 - 17 July 2015
Prahladavaradan SampathMathWorksNo
Anil SethIIT Kanpur15 - 18 July 2015
Suhail SherifTIFRNo
Ulka ShrotriTRDDCNo
Nishant SinhaIBM ResearchNo
M K SrivasCMINo
B SrivathsanCMI15 - 17 July 2015
Vaishnavi SundararajanChennai Mathematical Institute15 - 18 July 2015
S P SureshChennai Mathematical Institute15 - 18 July 2015
Prathamesh TuragaInstitute of Mathematical SciencesNo
Amogh VithalkarIndraptastha Institute of Information Technology, DelhiNo
Anand YeolekarTRDDC15 - 17 July 2015