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
Professor of Computer Science
College of Engineering
Formal methods in concurrent and distributed systems, semantics and verification of concurrent programs, database management systems
Learn more