Assistant Professor, School of Computing Science 

Contact:

Email: matt_amy@sfu.ca

Home Page: https://www.cs.sfu.ca/~meamy/

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

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