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