Position
Assistant Teaching Professor
Office
ITE 216
Contact Info
University of Maryland, Baltimore County
1000 Hilltop Circle
Baltimore, MD 21250
email: woodcock@cs.umbc.edu
website: https://userpages.cs.umbc.edu/woodcock/
Research Areas
formal methods, theorem proving
Biography
UMBC CSEE Adjunct 1990-2025
MS Computer Science, 1986, Case Western Reserve University