Recent and Upcoming Talks

  • “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.