Recent and Upcoming Talks

  • Writing and Compiling High-Level Quantum Programs. QSI Seminar, University of Technology Sydney, 2025.
  • Compiling High- and Low-Level Quantum Languages. Workshop on Quantum Software and Theory, Academia Sinica, 2025.
  • Verifying Quantum Graphical Calculi. DIMACS Workshop on Quantum Software Systems and Theory, Rutgers University, 2025.
  • Verifying Graphical Calculi, Quantum and Classical. MadPL Seminar, University of Wisconsin–Madison, 2025.
  • 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.