Prasanna Thati

Computer Science Department
Carnegie Mellon University
5000 Forbes Ave.
Pittsburgh, PA 15213

Office: Wean Hall, 3408
Tel: (412) 268-5409
Fax: (412) 268-5576

I was a post doctoral fellow working with Professor Ed Clarke until May 2005. I completed my PhD in computer science at University of Illinois at Urbana Champaign (UIUC) in October 2003. Prior to this I obtained a Masters in Mathematics (2002) and Computer Science (2000), both from UIUC. I did my undergraduation in computer science at the Indian Institute of Technology, Kanpur (1997).

Research Interests: Specification and verification of software systems, application to verification of computer security protocols and access control frameworks, semantics of concurrency, concurrent object-oriented programming and component based middleware design.

Complete List of Publications

Recent Publications:

  (last updated 5 Jan 05)

IP Statistics