Mail Us

Postal Address

Workshop on Essential Abstractions on GCC,
Department of Computer Science and Engineering,
IIT Bombay, Powai, Mumbai - 400076, India.

E-Mail Address

grc [at] cse [dot] iitb [dot] ac [dot] in

Contact Persons

Prof. Uday Khedkar

CFDVS (Centre for Formal Design and Verification of Software),
Mathematics Department Basement,
IIT Bombay, Powai, Mumbai - 400076, India.

Phone : 91 (22) 2576 7717 (Direct), 91 (22) 2572 2545 x 7717
Fax : 91 (22) 2572 0290
E-Mail : uday [at] cse [dot] iitb [dot] ac [dot] in
Homepage : http://www.cse.iitb.ac.in/~uday