Gerry Howser
Gerry Howser
Associate Professor of Computer Science
Missouri S&T

Current Schedule with Office Hours
CS 1200: Discrete Mathematics for CS
CS 2200: Theory of Computer Science
CS 6600: Formal Methods in CSP Security

Computer Networks and the Internet: A Hands-On Approach
A Modal Model of Stuxnet Attacks on Cyber-Physical Systems: A Matter of Trust
Modeling and reasoning about the security of drive-by-wire automobile systems
A multiple security domain model of a drive-by-wire system

Non-professional links (not offensive)

For more information contact: Gerry Howser (Gerry.Howser{at} or research{at}