Ashutosh Gupta
Assistant Professor
Department of Technology and Computer Science
Tata Institute of Fundamental Research
India
Biography
Dr. Ashutosh Gupta is a faculty member in the School of Technology and Computer Science at the Tata Institute of Fundamental Research, Mumbai, since November, 2014. He has received his Ph.D. in computer science from TUM in 2011. His Ph.D. adviser was Andrey Rybalchenko. During His PhD, he was affiliated with TUM, MPI-SWS, and EPFL at different times. Between the PhD and current position, he was a post-doctoral researcher in Henzinger group at IST Austria.
Research Interest
Formal verification, Modelling and Constraint solving.
Publications
-
Chakraborty S, Gupta A, Jain R (2017) Matching multiplications in Bit-Vector formulas VMCAI.
-
Chakraborty S, Gupta A,Unadkat D (2017) Verifying Array Manipulating Programs by Tiling SAS.
-
Gupta A,Shukla A,Srivas M,Thattai M (2017) SAT solving for vesicle traffic systems in cells ASB.
