Research

Research interests:

My research interests include formal program verification, program logics (e.g., Iris), semantics of programs, compilers, type theory, proof assistants (e.g., Coq), formalization of mathematics in proof assistants, especially theory of programming languages, and category theory, especially for its application to logic and programming languages. See my publications for more details.

Past research projects:

• Postdoctoral fellowship of Flemish research fund (FWO) for studying programming languages with advanced features in program logics.
• KU Leuven internal funding project for relational reasoning about advanced type systems.

PhD Students:

• Arnaud Daby-Seesaram, co-advised with Lars Birkedal
• Anders Alnor Mathiasen, co-advised with Lars Birkedal
• Egor Namakonov, co-advised with Lars Birkedal

Former Postdocs:

• Jonas Kastberg Hinrichsen

Former PhD Students:

• Tobias Reinhard (KU Leuven), co-advised with Bart Jacobs
• Abel Nieto, co-advised with Lars Birkedal
• Simon Oddershede Gregersen, co-advised with Lars Birkedal (Continued as a postdoc in LogSem)
• Koen Jacobs (KU Leuven), co-advised with Bart Jacobs & Dominique Devriese (Now postdoc at Inria with Éric Tanter & Nicolas Tabareau)

Visiting Students:

• Alban Reynaud, ENS Lyon (Aug 30 2021 — Jan 28, 2022)
• Paulo Emílio de Vilhena, Inria Paris (Jun 14 — Sep 14, 2021)