Vidwan-ID : 52127



  • Dr Ashutosh Trivedi

  • Assistant Professor
  • Indian Institute of Technology Bombay
Publications 2016 - 2023

Publications

  • 2
    Journal Articles
  • 29
    Conference
    Proceedings
  • 1
    Review
  • 1

Citations / H-Index

28 Citations
2 h-index
8 Citations

Google Scholar

Co-author Network


Expertise

Computer Science Information Systems

Formal Methods in Design, Analysis, and Verification of Systems, Hybrid and Timed Automata, Cyber-Physical Systems, Automata, Logic, and Games.

Personal Information

Dr Ashutosh Trivedi

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


Experience

  • Assistant Professor

    Department of Computer Science and Engineering

    Indian Institute of Technology Bombay


Qualification

  • Ph.D

    University of Warwick, UK


Honours and Awards

2014

Liverpool India Fellowship

University of Liverpool

2014

Liverpool India Fellowship

University of Liverpool

Read Less