People
Associate Professor

Area of Expertise:
Model Checking and Verification
Petri Nets
Education:
Ph.D., Computer Science, College of William and Mary, 2000
M.S., Computer Science, College of William and Mary, 1995
B.S., Physics and Computer Science, Randolph–Macon College, 1993
Teaching:
Spring 2017: COM S 412: Formal Methods in Software Engineering
Fall 2016: COM S 252: Linux Operating System Essentials
Spring 2016: COM S 412: Formal Methods in Software Engineering