Skip to main content

Ashutosh Trivedi

Personal photo - Ashutosh Trivedi

Dr Ashutosh Trivedi

Research Assistant
Former Member

Interests

  • Algorithmic Game Theory
  • Formal Modelling and Verification of Systems (Probabilistic and Timed Systems)
  • Computational Complexity

Selected Publications

View AllManage publications

Activities