Talks

For talks at conferences and workshops presenting a work please see the list of my publications.
  1. Formal and Foundational Study of Programs and Programming Languages — Inaugural lecture at the department of computer science, Aarhus University, Dec 6, 2024 [slides]
  2. A Program Logic to Reason About Well-Bracketed Control Flow — Third Iris workshop, Saarbrücken, Germany, May 24, 2023 [slides]
  3. A Formal and Foundational Approach to Program Verification for Safety and Security — Keynote at the Summer School on Security Testing and Verification, Leuven, Belgium, Sep 20–22, 2022. (invited talk) [webpage]
  4. Formal Reasoning about Programs and Programming Languages — Inaugural lecture at the department of computer science, Aarhus University, Apr 2021. [slides]
  5. Reasoning About Programs in Higher-Order Concurrent Separation Logic at PLMW'21 (co-located with POPL'21), Virtual (Copenhagen, Denmark), Jan 2021 (invited talk). [webpage]
  6. Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems at Iris Workshop, Aarhus, Denmark, Oct 2019. [slides]
  7. Iris, Iris proof mode and Program verification in Iris at IFIP 1.9 meeting, Leuven, Belgium, May 2017 (invited talk). [slides]
  8. A Logical Relation for Monadic Encapsulation of State: proving contextual equivalences in the presence of runST in a Prosecco Seminar (Inria Paris), Paris, France, Dec 2017. [slides]
  9. Cumulative Inductive Types at Coq Implementors Workshop, Le Croisic, France, June 2017. [slides]
  10. A Logical Relation for Monadic Encapsulation of State: proving contextual equivalences in the presence of runST on the occasion of Ph.D. defence of Jesper Cockx, Leuven, Belgium, May 2017. [slides]