Ashutosh Gupta

Associate Professor, IIT Bombay

  • Joined May 2024

Names

Ashutosh Gupta (Preferred)

Emails

****@iitb.ac.in (Confirmed)

Personal Links

Career & Education History

Associate Professor
IIT Bombay (iitb.ac.in)
2018 – 2025
 
Assistant Professor
Tata Institute of Fundamental Research (tifr.res.in)
2015 – 2018
 

Advisors, Relations & Conflicts

PhD Advisor
Andrey Rybalchenko
2005 – 2011
 

Expertise

Software verification
2005 – 2025