Academic Identity

Vidwan-ID : 155764

Edit Profile


  • Dr Ashutosh Gupta

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

Publications

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

Citations / H-Index

517 Citations
11 h-index
414 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

Publications (38)

Powered by