Photo of Sistla, Prasad

Prasad Sistla


Department of Computer Science


1100 SEO

Office Phone Voice:

(312) 996-8779

Related Sites:


Research Interests:

Formal methods in concurrent and distributed systems, semantics and verification of concurrent programs, database management systems

Selected Publications

Formal Methods in Concurrent and Distributed Systems

With the widespread use of distributed and concurrent systems and with the increase in the complexity of software for such systems, it becomes important to develop various methods for ensuring the quality of concurrent software systems. This project proposes various methods for static as well as runtime verification of such computer systems.

As part of the static verification, the project investigates model checking based methods for analysis and verification. It explores such methods for deterministic as well as probabilistic systems.

As part of the run time verification, project develops methods for detecting faults at execution time when the faults are specified on the underlying computations of the system in expressive languages such as temporal logic and automata. The developed methods are used for safe deployment and operation of Cyber Physical Systems such as Autonomous cars, Home assist robots, etc. The project employs Hidden Markov Models for capturing the behavior of such systems and develops accurate and timely monitors for detecting erroneous behavior in such systems.


Our projects in security are broadly focussed in two directions. The first direction is on exploring model checking based techniques for analyzing access control policies and for verifying security properties of programs. The second direction is towards developing program transformation techniques for preventing leakage of confidential information.

Database Management Systems


Harvard University, Cambridge, Massachusetts: Ph.D. Computer Science/Applied Mathematics, 1983
Indian Institute of Science, Bangalore, India: M.E. Computer Science, 1976
B.Tech., Electronics and Communications Engineering, 1974