I am a postdoctoral researcher at imec-DistriNet, KU Leuven, Belgium. I obtained my PhD at this same university in August 2020, and have subsequently worked for 1 year at VUB.
Most of my research is about dependent type theory. There, I am interested in the theory and implementation of modal and presheaf type theory (particularly directed type theory), a quest which also led me to an interest in general syntactic aspects of type theory. I am also fascinated by the question of how to reason about side-effects in dependent type theory. Furthermore, I have been involved in a line of research, headed by Stelios Tsampas, on categorifying secure compilation.
I find it especially motivating to hear from people who are interested in (using) my work, so do not hesitate to contact me in case of questions, remarks or puzzlement about any of my papers, notes or code.
* Please don't print my slides, which have incrementally appearing bullet points.BibTeX - dblp - Google Scholar - ORCiD
Table of Contents
Understanding Universal Algebra Using Kleisli-Eilenberg-Moore-Lawvere Diagrams (2022): Note
Transpension: The Right Adjoint to the Pi-type (2021, Submitted to LMCS)
With Dominique Devriese.
A Vision for Natural Type Theory (2020): Note
Contributions to Multimode and Presheaf Type Theory (PhD thesis, 2020)
Supervisors:
Dominique Devriese,
Frank Piessens,
Committee chair:
Robert Puers,
Other committee members:
Lars Birkedal,
Dan Licata,
Bart Jacobs,
Tom Schrijvers
Application: Reasoning about Effect Parametricity using Dependent Types (TyDe '19): Extended abstract
By Joris Ceulemans, A. N., Dominique Devriese
Abstract Congruence Criteria for Weak Bisimilarity (MFCS '21)
By Stelios Tsampas, Christian Williams, A. N., Dominique Devriese, Frank Piessens
A Categorical Approach to Secure Compilation (CMCS '20)
By Stelios Tsampas, A. N., Dominique Devriese, Frank Piessens
A Summary on Categorical Contextual Reasoning (ACT '19)
By Stelios Tsampas, A. N., Dominique Devriese, Frank Piessens