A. Prasad Sistla.

Professor

• Vitae,
• Education,
• Research,
• Publications,
• Experience,
• Tools,
• Symmetry Reductions Tutorial Slides (VMCAI03 Talk),

Department of Computer Science University of Illinois at Chicago 851 S. Morgan (m/c 152) Chicago, IL 60607 tel: (312) 996 8779 fax: (312) 413 0024

Education

• 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

Research Interests

• Formal Methods in Concurrent and Distributed Systems,
• Semantics and Verification of Concurrent Programs,
• Database Management Systems,
• Security,
• Distributed Systems.

Professional Activities

• Associate Editor of the Journal ``Formal Methods in System Design'', Kluwer Acdemic Publishers, Jan 1997-onwards.
• Co-chair of the 12th International Conference on Computer Aided Verification 2000; Served on the Program Committees of many conferences such as IEEE Symposia on Logic in Computer Science in 1988 and in 1995, International Conference on Data Engineering 1997; Tenth and the Eleventh International Conference on Computer Aided Verification held in 1998, 1999; 15th International Conference on Automated Deduction held in 1998; Workshops on Computer Aided Verification held in 1990, 1991; CONCUR92 ---International Conference on Concurrency Theory to be held in 1992;
• Served on NSF panels: Career Panel, 1997; SBIR panel 1998.
• Presented talks at many conferences
• Member of ACM and IEEE.