People
Professor

Area of Expertise:
Formal Methods
Model Checking
Education:
PhD, State University of New York at Stony Brook, 2003
Teaching:
Spring 2017: COM S 342: Principles of Programming Languages
Spring 2017: COM S 592: Research Colloquia
Spring 2017: COM S 598: Graduate Internship
Spring 2016: COM S 665: Advanced Topic Software: Fundamentals
Spring 2016: COM S 342: Principles of Programming Languages
Spring 2016: COM S 592: Research Colloquia
Spring 2016: COM S 598: Graduate Internship