Verification-Guided Development of the Cedar Authorization Language Presentation, HCSS 2023, Annapolis, MD, 2023
A Verified Software Toolchain for Quantum Programming Dissertation defense, University of Maryland, College Park, MD, 2022
Quantum IRs for Formal Verification Invited talk, QCE21 Workshop on Quantum Intermediate Representations, Virtual, 2021
Approaches to Compiling Functional Languages Seminar presentation, University of Minnesota, Minneapolis, MN, 2016
