Mark E Woodcock
Assistant Teaching Professor
Research interests
formal methods; data cloud
Teaching interests
programming languages; formal methods; automata; security
Education
- MS, Security Policy Studies — George Washington University (1993)
-
MS, Computer Science
— Case Western Reserve University (1986) A Syntax-Oriented Editor
- BA, Political Science — Case Western Reserve University (1985)
- BS, Mathematics/Computer Science — Case Western Reserve University (1985)