![[image]](http://mowser.com/img?url=http%3A%2F%2Fblogs.warwick.ac.uk%2Fblogbuilder%2Fmedia%2Fimages%2Ffilofax.gif)
About me![[image]](http://mowser.com/img?url=http%3A%2F%2Fblogs.warwick.ac.uk%2Fimages%2Fatrivedi%2F2005%2F03%2F04%2Fashu_main.jpg%3FmaxWidth%3D200)
My galleries
![[image]](http://mowser.com/img?url=http%3A%2F%2Fblogs.warwick.ac.uk%2Fimages%2Fatrivedi%2F2005%2F05%2F14%2Ftime.jpg%3FmaxWidth%3D75 "flower pot.")
![[image]](http://mowser.com/img?url=http%3A%2F%2Fblogs.warwick.ac.uk%2Fimages%2Fatrivedi%2F2005%2F05%2F23%2Fcollage1.jpg%3FmaxWidth%3D75 "Heaven")
![[image]](http://mowser.com/img?url=http%3A%2F%2Fblogs.warwick.ac.uk%2Fimages%2Fatrivedi%2F2005%2F03%2F14%2Fpic2.jpg%3FmaxWidth%3D75 "University of Manchester")
![[image]](http://mowser.com/img?url=http%3A%2F%2Fblogs.warwick.ac.uk%2Fimages%2Fatrivedi%2F2005%2F03%2F15%2F3a26.jpg%3FmaxWidth%3D75 "Me 1")
Groups I'm in
Follow the links to see blog collections for those groups
Computer Science All students in Computer Science, Masters PHD and by Research Postgraduate extension student in Computer Science All Postgraduates in Computer Science Computer Science, Masters PHD and by Research All users in Computer Science All students in Computer Science All tutees of PROF D PELED All Writing up, previously full time students in Computer Science All tutees of DR M JURDZINSKI PhD students and supervisors
Contact details
PhD Student – Formal Methods Warwick
Department of Computer Science,
The University of Warwick,
Coventry, CV4 7AL.
United Kingdom
Mobi: On request
Fax: +44 (0)24 7657 3024 Tel: + 44 (0)24 7657 3801
About me
- Name
- Ashutosh Trivedi
- Dept
- Staff: 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.
Blog Stats
Posts: 182 Comments: 197 Comments by owner: 17 Images: 96 Number of times in people's favourites: 2
