Recent and Upcoming Talks

• Verifying Graphical Quantum Calculi in a Proof Assistant. Quantum Circuit Design Automation, Banff International Research Station, 2024.
• Verifying the ZX-calculus and its Friends. Running HoTT, NYU Abu Dhabi, 2024.
• Quantum Computing from a PL Perspective. Purdue Programming Languages Colloquium, Purdue University, 2023.
• Verifying Quantum Programs: From Deutsch’s Algorithm to Shor’s, Boston Principles of Programming and Verification Seminar, 2022.
• Writing and Verifying a Quantum Optimizing Compiler. Keynote at Compiler Construction, 2022.
• Quantum Programming Languages: What they are and what they could be. Towards 400 Qubits: Compilers and Programming Quantum Applications, The Quantum Computing Center, 2022.
• Ask Me Anything: Quantum Programming and Verification. SPLASH 2021.
• Quantum Computing from a Programmer’s Perspective. UChicago Quantum Computing Seminar, 2021.
• A Verified Optimizer for Quantum Circuits. High Confidence Software and Systems Conference (HCSS), 2020.
• Quantum Programming Languages, Verification, and Testing. EPiQC Seminar, UChicago, 2020.
• Towards a Verified Quantum Stack. American University Computer Science Colloquium, 2019.
• Verified Quantum Programs for the NISQ Era. MURI Review, University of Maryland, 2019.
• Formally Verifying Quantum Protocols. Workshop on Higher Category Approach to Certifiably Correct Quantum Information Processing Systems, 2018.
• Verified Quantum Programming in QWIRE: Optimization and Error Correction. Dagstuhl Seminar on Quantum Programming Languages, 2018.
• Formally Verified Quantum Computing. Yeshiva University Physics Colloquium, 2018.
• Provably Correct Quantum Programming. Hofstra University Mathematics Seminar, 2018.
• Verified Quantum Programming in QWIRE. MURI Review, UC Berkeley, 2017.
• Formally Verifying Your Quantum Programs. New Jersey Programming Languages and Systems, 2017.