Matt Amy

Dr. Matt Amy is an Assistant Professor in the School of Computing Science at Simon Fraser University (SFU), holding the Canada Research Chair in Quantum Computing. His research focuses on quantum compilers, programming languages, and formal verification of quantum programs. He also explores quantum circuit optimization and models of quantum computation.

Education: PhD in Computer Science (University of Waterloo, 2019), M.Math in Quantum Information (2013), and B.Math in Computer Science (2011), all from the University of Waterloo.

Research Interests: Quantum compilers and languages, circuit optimization, formal verification, and quantum computation models. His work bridges theoretical foundations with practical implementations, emphasizing efficient quantum software development.

Recent research trends include advancing quantum compilation techniques, exploring NP-hard optimization problems in quantum circuits, and developing formal methods for quantum program analysis. His work on symbolic synthesis and equational theories for quantum circuits demonstrates a focus on foundational algorithmic challenges.

• Scientific Awards: Canada Research Chair (2025–present)

Advising and Grants: While no current advisees are listed, his research is supported by grants focused on quantum computing and formal methods. He collaborates with industry through SFU’s School of Computing Science.

Labs and Teams: Involved with the Tangent Lab, a research group exploring quantum algorithms and software systems at SFU.