Bio

Qualifications:

Ph.D., Harvard University, 1983

Contact Information:

Department of Computer Science, 851 S. Morgan (M/C 152) Room 1120 SEO Chicago, IL 60607-7053
Office:1100 SEO
View full profile

Research Interests:

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