Skip to content

ashutosh trivedi

  • University of Colorado Boulder
  • 11Followers
  • 7Following

Research interests

and Verification of Real-Time and Probabilistic Systems.AnalysisFormal ModelingAlgorithmic Game Theory

Followers (11)

Explore network

Following (7)

  • Dave Cliff

    Dave CliffUniversity of Bristol Department of Computer Science

  • Vitorino Ramos

    Vitorino Ramos

  • Ilango Sriram

    Ilango Sriram

  • John Rooksby

    John RooksbyUniversity of St Andrews, Scotland

  • Lu Feng

    Lu FengComputing Laboratory, University of Oxford

  • Marcin Jurdzinski

    Marcin Jurdzinski

Explore network

Professional experience

University of Colorado at Boulder