Bio

Qualifications:

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

Contact Information:

Visit Profile Page

Research Interests:

Program Verification, Concurrency, Interactive Theorem Proving