Bio

Qualifications:

Ph.D., Computer Science, University of Illinois, Urbana-Champaign

Contact Information:

Department of Computer Science, 851 S. Morgan (M/C 152) Room 1120 SEO Chicago, IL 60607-7053
Office: 1331 SEO
Visit Profile Page

Research Interests:

Program Verification, Concurrency, Interactive Theorem Proving