- About
- Schools
- Study
- Research
- News & Events
- Contact
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.