Mark Aagaard

Mark Aagaard is an Associate Professor in the Department of Electrical and Computer Engineering at the University of Waterloo. His research focuses on formal methods for digital-hardware system design and verification, including pipeline hazards and tool development. He also explores cybersecurity, IoT, and computer architecture.

• Doctorate in Electrical Engineering, Cornell University (1994)
• Master of Science in Electrical Engineering, Cornell University (1991)
• Bachelor of Science in Electrical Engineering, Harvey Mudd College (1988)

Research interests include formal verification, hardware design, and cybersecurity applications. Recent work involves pipeline hazard analysis, verification tools like Microbox, and cryptographic hardware implementations.

Selected publications span topics like image processing software optimization, pseudorandom number generation, and hardware description languages. No scientific awards explicitly noted.

Teaches courses such as Discrete Mathematics and Logic (ECE 108/208) and Digital Hardware Systems (ECE 327). Currently accepting graduate students for research in his areas of expertise.