Matthew Amy
Assistant Professor | Canada Research Chair
Computing Science
Areas of interest
Research Interests
- Quantum compilers & programming languages
- Quantum circuit optimization
- Formal verification of quantum programs
- Models of quantum computation
Teaching Interests
- Theory of classical & quantum computation
- Programming languages & compilers
- Discrete mathematics
Education
- PhD, Computer Science, University of Waterloo, 2019
- M.Math (Quantum Information), Computer Science, University of Waterloo, 2013
- B.Math, Computer Science, University of Waterloo 2011
Courses
Spring 2025
Future courses may be subject to change.