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.

Postdocs:

• Jonas Kastberg Hinrichsen

PhD Students:

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

Past 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:

• Paulo Emílio de Vilhena, Inria Paris (Jun 14 — Sep 14, 2021)