Dr Ashutosh Gupta
vidwan id: 155764
Associate Professor, Department of Computer Science and Engineering
Indian Institute of Technology Bombay
Expertise
- Computer Science Information Systems
Publications
Publications
No publication activity to display at the moment.
Scopus
h-index
13
CrossRef
Citations
417
h-index
11
Google Scholar
Loading Scholar statistics...
Professional Recognition
No Data Found
There is currently nothing to display here.
Community & Membership
No Data Found
There is currently nothing to display here.
No Data Found
There is currently nothing to display here.
Bio
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 Details
- Male
- Associate Professor , Indian Institute of Technology Bombay
- Indian Institute of Technology Bombay, Powai
No Data Found
There is currently nothing to display here.
Related Profiles
Experts (14089+)
View All
Assistant Professor
Assistant Professor
N/A
Assistant Professor
Assistant Professor
Doctor
Assistant Professor (Grade-I)
Assistant Professor
Research Scholar
Junior Research Fellow
Organisations (592+)
View All
Assistant Professor
Assistant Professor
Professor
Professor
Professor
Associate Professor
Assistant Professor
Professor
Assistant Professor
Assistant Professor
Co-Authors (53)
Indian Institute of Technology Bombay
University of Hyderabad
Indian Institute of Technology Bombay
Indian Institute of Technology Delhi
Indian Institute of Technology Bombay
University of Hyderabad
Mahindra University, Hyderabad
Indian Statistical Institute, Kolkata
Indian Institute of Science Bangalore
Indian Statistical Institute, Kolkata
Jadavpur University
N/A
Indian Institute of Technology Kharagpur
Jawaharlal Nehru University
International Institute of Information Technology, Hyderabad
National Institute of Technology Karnataka
Vellore Institute of Technology, Vellore
Indian Institute of Technology Bombay
Indian Statistical Institute, Kolkata
Indian Institute of Technology Kanpur
International Institute of Information Technology, Bangalore
Indian Institute of Science Bangalore
Indian Institute of Technology Kanpur
Indian Institute of Technology Mandi
Indian Statistical Institute, Kolkata
Indraprastha Institute of Information Technology Delhi (IIIT Delhi)
Indian Institute of Science Bangalore
Indian Institute of Technology Madras
International Institute of Information Technology, Hyderabad
Indian Statistical Institute, Kolkata
National Institute of Fashion Technology (NIFT), Gandhinagar
National Institute of Technology Warangal
University of Hyderabad
Indian Institute of Information Technology, Chittoor
Bishop Heber College, Tiruchirappalli - 620 017.
Indian Institute of Science Bangalore
Indian Statistical Institute, Kolkata
Indian Institute of Technology Kanpur
Jawaharlal Nehru University
National Institute of Technology, Delhi
Indian Institute of Technology Kanpur
International Institute of Information Technology, Bangalore
Indian Institute of Technology Bombay
Indian Statistical Institute, Kolkata
Indian Institute of Technology Bombay
University of Delhi
The Institute of Mathematical Sciences (IMSc), Chennai
Indian Institute of Technology Mandi
Scholarly Work
No Data Found
There is currently nothing to display here.
No Data Found
There is currently nothing to display here.
No Data Found
There is currently nothing to display here.
