A video recording of a talk I gave at the Online Worldwide Seminar on Logic and Semantics (OWLS)
A video recording of a talk I gave at the School of Computer and Cyber Sciences (CCS) Colloquium Series
A video recording of a talk I gave at the Laboratory for Foundations of Computer Science (University of Edinburgh)
Pre-recorded talk of FSCD 2021
A video recording of a talk I gave at HOPE 2021