Prasad Sistla
Professor of Computer Science
College of Engineering
About
Research Interest
Formal methods in concurrent and distributed systems, semantics and verification of concurrent programs, database management systems
Learn more
Your browser is unsupported
We recommend using the latest version of IE11, Edge, Chrome, Firefox or Safari.