We are delighted to welcome Dr. Ashutosh Gupta to the IIT Bombay family. He joined the Department of Computer Science & Engineering as Assistant Professor on February 15, 2018.
He received his undergraduate degree (Bachelor of Electrical Engineering) from Indian Institute of Technology, Kanpur in 2004, then he did his Masters in Computer Science from Federal Institute of Technology in Lausanne, Switzerland in 2007 and Ph.D. in Computer Science from the Technical University of Munich in 2011. Subsequently, he worked as a postdoctoral graduate at the Institute of Science and Technology, Austria, till 2014 and as a Reader for the Tata Institute of Fundamental Research till he decided to join IIT Bombay. He has over 8 years of experience in research split between industry and academia.
Dr. Gupta is a recipient of Best paper award at the 12th and 18th European Joint Conference on Theory and Practice of Software held in 2009 and 2015 respectively.
His research is directed towards verification of sequential and concurrent software along with the synthesis of automated generation of program code and modeling of biological systems.
At IIT Bombay, he aims to develop software verification tools at IIT Bombay with the help of students and bring those tools to the verification competitions in a hope to inspire students in developing sophisticated software products that are actually "smart". In his career so far, he has developed many prototypes to illustrate the effectiveness of new algorithms but now he also aims to pay attention in developing code base that can be a basis of his research. He also intends to build a healthy relationship with students and enhances their skills.
He believes that students should be independent, vibrant, and free in speaking their minds and managing their affairs as much as possible. In his view, all tasks and activities ought to be done in a responsible manner and with an intention of improving things, rather challenging things for the sake of challenging.