Hybrid dynamical type theories. ICRA 2021 workshop on Compositional Robotics, May 2021.
Metaplectic modular categories, gauging, and Property F. AMS Special Session on Quantum Symmetries, The Ohio State University, March 2018.
Computing quantum mapping class group representations with Haskell. AMS Special Session on Fusion Categories and Applications, Indiana University, April 2017.