MENU

Matthew Amy

Assistant Professor
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

This instructor is currently not teaching any courses.