Ashutosh Gupta

Ashutosh Gupta's picture

Designation: 

  • Reader

Room: 

A-209

Phone: 

+91 22 2278 2997

Email: 

Interests: 

Formal verification, Modelling, Constraint solving