Skip to the content of the web site.

Mark Aagaard

picture of Mark Aagaard

Personal
Home Page

Associate Professor

Cross Appointed with: Computer Science

Education:
BSc (Harvey Mudd)
MSc, PhD (Cornell)
Areas of Interest:
  • Formal verification
  • Design and verification of digital hardware systems
  • Computer architecture

Phone: +1 519 888 4567 extension 33138

Fax: +1 519 746 3077

Office: DC 2536

Email: maagaard@uwaterloo.ca