Mark Woodcock

Position

Assistant Teaching Professor

Office

 

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