STCS welcomes Ashutosh Gupta

Dr. Ashutosh Gupta joins the School of Technology and Computer Science as a Reader. Ashutosh's research interests include formal verification, theorem proving, model checking, program analysis and constraint solving. He is a successful tool builder and he brings a strong experimental validation focus to his conceptual work with considerable impact. Ashutosh did his B.Tech from IIT Kanpur, Ph.D. from TU Munchen and was a postdoctoral fellow at IST Austria in the group of Prof. Tom Henzinger.