Vidwan-ID : 155764



  • Dr Ashutosh Gupta

  • Associate Professor
  • Indian Institute of Technology Bombay
Publications 2008 - 2021

Publications

  • 7
    Journal Articles
  • 27
    Conference
    Proceedings
  • 2
    Editorial
  • 2
  • 7

Citations / H-Index

517 Citations
11 h-index
378 Citations

Altmetrics

2
2
9
2
2

Co-author Network


Expertise

Computer Science Information Systems

Formal verification: building model checkers for verification of sequential and concurrent software,Modelling: modelling of biological systems, Constraint solving: constraint logic programming, decision procedures, and automated theorem proving

Personal Information

Dr Ashutosh Gupta

Male
Indian Institute of Technology Bombay, Powai
Mumbai Suburban, Maharashtra, - 400076


Experience

  • Associate Professor

    Department of Computer Science and Engineering

    Indian Institute of Technology Bombay


Qualification

  • Ph.D