Recent Invited Lectures

  1. Third Tübingen Conference on Proof-theoretic Semantics, Reductive logic and proof-theoretic semantics, March 2019.

  2. Dagstuhl Seminar, Logics for Dependence and Independence, January 2019.

  3. SYSMICS Logic Summer School, Les Diablerets, Switzerland, August 2018.

  4. FLoC 2018 Workshop, Automated Deduction for Separation Logic, Oxford, July 2018.

  5. SYSMICS Workshop, Substructural logics: semantics, proof theory, and applications, Vienna, February 2018.

  6. Shonan seminar, Intensional and extensional aspects of computation: From computability and complexity to program analysis and security, National Institute of Informatics, Japan, January 2018.

  7. Cyber-risk Conference, Laboratoire de Statistique Théorique et Appliquée, Sorbonne, Paris, November 2017.

  8. House of Commons Science & Technology Committee: Presentation, Algorithms in Decision-making, October 2017.

  9. WoLLIC 2017, London, July 2017.

  10. Simons Institute Workshop, Compositionality, Berkeley, December 2016.

  11. LICS 2016 Logic Mentoring Workshop, New York, July 2016.