Centre for Formal Design
and
Verification of Software

An R&D Centre at IIT Bombay


From IIT Bombay

G. Sivakumar (CSE)(Head)
Supratik Chakraborty (CSE)
Supratim Biswas (CSE)
Amitabha Sanyal (CSE)
Uday Khedkar (CSE)
Sridhar Iyer (KReSIT)
Krishna Shankara Narayanan (CSE)


From BARC

S. D. Dhodapkar



From TIFR

P. K. Pandya
R. K. Shyamasundar

People
—> Principal Investigators
—> Research Employees
—> Students

Activities
—> Weekly Meetings
—> Formal Methods Update '05
—> Workshop'05
—> Workshop 2002
—> Workshop 2017

Projects
—> R & D Projects
—> Sponsored Projects
—> Exploratory Projects

Papers/Reports
—> Papers
—> Technical Reports
—> Theses

Download
—> Course Material
—> Online documentation

Others
—> Photographs
—> Internal Website
—> Webmail
[   Home  |   CSE  |   IIT Bombay  |   Contact  ]
For suggestions and comments contact: Webmaster