Classes

Coe College
CS 345, Data Structures and Algorithm Analysis, Spring '98

Mt. Mercy College
MA 287, Computation Theory: Logic and Program Correctness, Fall '98
 

Program committees

ACL2 Workshop 2006 (co-chair)
Formal Methods for Computer-Aided Design (FMCAD) 2004
Formal Methods and Models for Codesign (MEMOCODE 2004)
ACL2 Workshop 2003
Formal Methods for Computer-Aided Design (FMCAD) 2002
ACL2 Workshop 2000
5th Langley Formal Methods Conference (LFM 2000)
Formal Methods for Computer-Aided Design (FMCAD) 2000

Back to Wilding Web Page