Matthew Amy, Simon Fraser University

Research

Quantum Computing Formal Methods Quantum Circuits Compilers Programming Languages Formal Verification Computational Logic Algebraic number theory

Latest funding

Quantum software consortium: Exploring distributed Quantum solutions for Canada
NSERC · 2023 · Co-investigator
$2,000,000
Formal methods for reliable, high-performance quantum computing
NSERC · 2022 · Principal investigator
$87,000
Formal methods for reliable, high-performance quantum computing
NSERC · 2022 · Principal investigator
$12,500

All 4 grants and awards

Quantum software consortium: Exploring distributed Quantum solutions for Canada

Co-investigatorNSERC2023Alliance Grants

Principal investigators: Jacobsen, Hans-Arno H-A

Keywords: catalyst search, reaction design; compilation for dqc; distributed quantum computing (dqc); error correction, error mitigation; fault-tolerant quantum computing; hybrid quantum-classical computing; noisy intermediate-scale quantum com; quantum chemestry, drug design; quantum computing and algorithms; quantum materials

$2,000,000

Formal methods for reliable, high-performance quantum computing

Principal investigatorNSERC2022Discovery Grants Program - Individual

Principal investigators: Amy, Matthew

Keywords: quantum computing; quantum compilers; quantum circuits; quantum programming; formal methods; static analysis; dependent type theory; symbolic computing; algebraic number theory

$87,000

Formal methods for reliable, high-performance quantum computing

Principal investigatorNSERC2022Discovery Launch Supplement

Principal investigators: Amy, Matthew

$12,500

Quantum Computing

Principal investigatorNSERC2021Canada Research Chairs

Principal investigators: Amy, Matthew

Keywords: Quantum Computing; Formal Methods; Quantum Circuits; Compilers; Programming Languages; Formal Verification; Computational Logic

$360,000

From CIHR, NSERC and SSHRC funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998, including their latest published competition results.

Write to this professor

A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.

Applying for

Mention their NSERC grant from 2022

Subject: Prospective PhD student: Quantum Computing Dear Professor Amy, My name is [your name], and I am a [your current degree or role] at [your institution]. I am applying for a PhD position starting in [term and year]. Your research on quantum computing connects closely to my own work on [your research topic]. [One or two sentences on what you did and what you learned.] I also saw your NSERC-funded project "Formal methods for reliable, high-performance quantum computing" (2022), and I would be glad to contribute to work in that direction. Are you accepting new PhD students for [term and year]? I have attached my CV and transcripts, and I would be glad to talk at a time that suits you. Thank you for your time. Kind regards, [your name]