Talks

For talks at conferences and workshops presenting a work please see the list of my publications.
  1. A Program Logic to Reason About Well-Bracketed Control Flow — Third Iris workshop, Saarbrücken, Germany, May 24, 2023 [slides]
  2. 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]
  3. Formal Reasoning about Programs and Programming Languages — Inaugural lecture at the department of computer science, Aarhus University, Apr 2021. [slides]
  4. 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]
  5. Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems at Iris Workshop, Aarhus, Denmark, Oct 2019. [slides]
  6. Iris, Iris proof mode and Program verification in Iris at IFIP 1.9 meeting, Leuven, Belgium, May 2017 (invited talk). [slides]
  7. 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]
  8. Cumulative Inductive Types at Coq Implementors Workshop, Le Croisic, France, June 2017. [slides]
  9. 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]