Prasanna Thati

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

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:

• Prasanna Thati, and Jose Meseguer. "Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing". International Conference on Algebra and Coalgebra in Computer Science, 2005. [PS] [PDF]



• Ed Clarke, Sagar Chaki, Nishant Sinha, and Prasanna Thati. "Automated Assume-Guarantee Reasoning for Simulation Conformance". International Conference on Computer Aided Verification, 2005. [PS] [PDF]



• Santiago Escobar, Jose Meseguer, and Prasanna Thati. "Natural Narrowing for General Term Rewriting Systems". International Conference on Rewriting Techniques and Applications, 2005. [PS] [PDF]



• Jose Meseguer, and Prasanna Thati. "Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols". to appear in Journal of Higher-Order and Symbolic Computation, 2005. [PS] [PDF]



• Gul Agha, Michael Greenwald, Carl Gunter, Sanjeev Khanna, Jose Meseguer, Koushik Sen, and Prasanna Thati. "Formal Modeling and Analysis of DoS Using Probabilistic Rewrite Theories". Workshop on Foundations of Computer Security, 2005. [PS] [PDF]



• Prasad Naldurg, Koushik Sen, and Prasanna Thati. "A Temporal Logic Based Approach to Intrusion Detection". International Conference on Formal Techniques for Networked and Distributed Systems, 2004. [PS] [PDF]



• Prasanna Thati, "A Theory of Testing for Asynchronous Concurrent Systems". PhD dissertation, Department of Computer Science, University of Illinois Urbana Champaign, 2003. [PS] [PDF]

  (last updated 5 Jan 05)

IP Statistics