Contact Mailing Address: A. Prasad SistlaDepartment of Computer Science University of Illinois, Chicago 1120 Science Engineering Offices ( MC 152 ) 851 South Morgan ...

Education Harvard University, Cambridge, Massachusetts: Ph.D. Computer Science/Applied Mathematics, 1983 Indian Institute of Science, Bangalore, India: M ...

Experiance August 2000 onwards: Full Professor, Department of Electrical Engineering and Computer Science, University of Illinois at Chicago. August 1994 July ...

Experience August 2000 onwards: Full Professor, Department of Electrical Engineering and Computer Science, University of Illinois at Chicago. August 1994 July ...

Links Any additional links go here.

Publications Journal Publications Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications (with E.M.Clarke and E.A.Emerson ...

Research Methods in Concurrent and Distributed Systems http://www.cs.uic.edu/~sistla/interest db.html Database Management Systems

Talks the full range of regular properties of Stochastic Systems, VMCAI, 2009 of Randomization in Automata on Finite Strings , UIC, 2009 Temporal Properties ...

Teaching A few words about the courses I teach.

Tools Symmetry Based Model Checker @2000 Copyright A.Prasad Sistla and University of Illinois at Chicago SMC is a symmetry based model checker that was developed ...

Computer Science's nop Sistla web

Professor A. Prasad Sistla

Education Research Publications Experience Talks Tools Contact edit this " warn "off"}%

TWikiGuest example #64;your.company .WebChangesAlert, .TWikiRegistration

nop Sistla Web Preferences The following settings are web preferences of the Sistla web. These preferences overwrite the site level preferences in . and ...

" else " nop Computer Science's nop Sistla web"}% /Sistla

Statistics for nop Sistla Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ...