I am no longer maintaining this webpage. You can find my latest webpage here.

Ashutosh Trivedi

PhD Student ( Formal Methods Group)
Formal Methods and Quantum Information Processing Lab
Department of Computer Science
The University of Warwick
Coventry, CV4 7AL
United Kingdom
Electronic Mail: trivedi [AT] dcs.warwick.ac.uk
Phone: +44 2476 573801
Fax: +44 2476 573024

Research Interests

( PhD Supervisor: Prof. Marcin Jurdziński.)
Algorithmic Game Theory,
Formal Modelling and Verification of Systems (Timed Systems, Hardware Systems and Software Systems).

Publications

Tool Development

Recent Talks

Current Teaching

(Office Hours: 14:00 - 15:00)

Alumnus of

Mobile Bookmarks

are here.