About me

My galleries

Contact details

PhD Student – Formal Methods Warwick

Department of Computer Science,
The University of Warwick,
Coventry, CV4 7AL.
United Kingdom

Mobi: On request
Tel: + 44 (0)24 7657 3801
Fax: +44 (0)24 7657 3024

About me

Ashutosh Trivedi
External: Computer Science

Hi there! I am Ashutosh Trivedi. You see this picture in the left of this page, it’s me. I am currently trying to do my PhD from the department of computer science, university of warwick. My supervisor is Prof. Doron Peled. I am currently a part of Formal Methods Warwick group and working on formal verification. I am creating this blog to discuss some general ideas, share feelings and experience. More about me and my work can be find out here.