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
- Prasanna Thati, and Jose Meseguer.
"Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing".
International Conference on Algebra and Coalgebra in Computer Science,
- Ed Clarke, Sagar Chaki, Nishant Sinha, and Prasanna Thati.
"Automated Assume-Guarantee Reasoning for Simulation Conformance".
International Conference on Computer Aided Verification,
- Santiago Escobar, Jose Meseguer, and Prasanna Thati. "Natural
Narrowing for General Term Rewriting Systems". International
Conference on Rewriting Techniques and Applications, 2005.
- 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,
- 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.
- 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.
- Prasanna Thati, "A Theory of Testing for Asynchronous Concurrent
PhD dissertation, Department of Computer Science, University
of Illinois Urbana Champaign, 2003.
(last updated 5 Jan 05)