User:Astrivedi

Ashutosh Trivedi is a PhD student at the university of Warwick. His research interests include algorithmic game theory, formal modelling and verification. Ashutosh is an alumni of IIT Bombay and VRCE nagpur. He has worked at L&T Infotech Mumbai, IRST Trento and Universitat Tuebingen.

Currently he is living in west midlands of United Kingdom in the city of Coventry.