Recent Invited Talks

The following is a selection of the invited talks he has given in the recent past:

• On Model-Checking Higher-Order Effectful Programs, DIBRIS, Università di Genova, Italy, April 2024.
• Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories, Seminar on Logic and Rewriting, Radboud University, Nijmegen, Netherlands, April 2024.
• From Equivalences to Metrics, Effectfully, CS Colloquium, Yale University, New Haven CT, February 2024.
• On Interaction, Efficiency, and Reversibility, GALOP, London, January 2024.
• From Equivalences to Metrics, Effectfully, PoP Seminar Talk, CMU, Pittsburgh PA, February 2023.
• From Equivalences to Metrics, Effectfully, Lorents Center’s Workshop on New Challenges in Programming Language Semantics, Leiden, Netherlands, November 2022.