Recent and Upcoming Invited Lectures

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

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

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

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

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

  6. House of Commons Science & Technology Committee: Presentation on 'Algorithms in decision-making’, October 2017.

  7. WoLLIC 2017, London, July 2017.

  8. Simons Institute Workshop on Compositionality, Berkeley, December 2016.

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