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