Simon Read

Simon Read is an Associate Professor of Computer Science at Saint Mary's College of Maryland, a position he has held since 2002. He is based in Schaefer Hall, Room 173, and his contact email is sread@smcm.edu.

His research applies theorem proving to systems-level hardware/software co-design. Specific areas include embedded systems (e.g., Raspberry Pi bare machine projects), Electronic Design Automation (EDA), and Hardware Description Languages (VHDL, Verilog, SystemC). He develops tools for Eclipse IDE to support hardware design and formal verification, and involves undergraduate students in these projects through Saint Mary's Projects (SMPs).

His publications from 1994 to 2005 show a focus on formal methods: establishing formal semantics for VHDL (1994), rule checking at the register level (1996), and educational tools for networking (2005). This work bridges hardware verification and educational technology.

Dr. Read teaches a range of courses including Computer Architecture, Operating Systems, and Distributed/Parallel Computing. He maintains representative syllabi for prospective students and adapts his teaching styles regularly.