THIS SITE

Information for

Mark Aagaard

Associate Professor

Contact InformationMark Aagaard

Phone: 519-888-4567 x33138
Location: EIT 4138

Website

Biography Summary

Mark Aagaard is an Associate Professor in the Department of Electrical and Computer Engineering at the University of Waterloo.

His research interests include formal methods for the design and verification of digital-hardware systems. He has developed a formal theory for pipelined circuits that is based on the conventional ideas of structural hazards, control hazards, data hazards and datapath functionality. Professor Aagaard’s current research activities use different formalization aspects of pipeline hazards to explore new design and verification techniques for varying classes of hazards.

Some recent projects of Professor Aagaard’s include verifying data-hazard accuracy, exploiting the power and usability of an off-the-shelf combinational equivalence checker, and developing a prototype design and verification tool that includes a cell library of control components for pipeline stages. Professor Aagaard also took part in creating the Microbox framework for microprocessor correctness statements, where over 30 published verification results were analyzed and proved correctness statement conditions.

Research Interests

  • Formal Verification
  • Design And Verification Of Digital Hardware System
  • Computer Architecture
  • Computer & Software Engineering
  • Connectivity And Internet Of Things
  • Wireless Communications And Networks
  • Cybersecurity
  • Application Security
  • Information Security
  • Infrastructure Integrity
  • Network Security
  • Connectivity And Internet Of Things
  • IoT
  • Devices
  • Application Domains
  • Dependability And Security

Education

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

Courses

  • ECE 327 - Digital Hardware Systems
    • Taught in 2013, 2014, 2016, 2017, 2018
  • ECE 492 -
    • Taught in 2013
  • ECE 627 - Register-transfer-level Digital Systems
    • Taught in 2014, 2016, 2017

Selected/Recent Publications

  • Khalvati, Farzad and Aagaard, Mark D and Tizhoosh, Hamid R, Window memoization: toward high-performance image processing software, Journal of Real-Time Image Processing, 10(1), 2015, 5 - 25
  • Yang, Gangqiang and Aagaard, Mark D and Gong, Guang, Efficient Hardware Implementations of the Warbler Pseudorandom Number Generator, , 2015
  • Aagaard, Mark and Leeser, Miriam, A methodology for reusable hardware proofs, Proceedings of the IFIP TC10/WG10, 2, 2014, 177 - 196
  • Mandal, Kalikinkar and Gong, Guang and Fan, Xinxin and Aagaard, Mark, Optimal parameters for the WG stream cipher family, Cryptography and Communications, 6(2), 2014, 117 - 135
  • O'Leary, John and Linderman, Mark and Leeser, Miriam and Aagaard, Mark, HML: A Hardware Description Language, Computer Hardware Description Languages and their Applications: Proceedings of the 11th IFIP WG10. 2 International Conference on Computer Hardware Description Languages and their Applications-CHDL'93 Sponsored by IFIP WG10. 2 and in cooperation with , 32, 2014