Andreas Nuyts

Registered user since Thu 4 May 2017

Name:Andreas Nuyts

I am a postdoctoral fellow of the Research Foundation - Flanders (FWO) 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 on categorifying secure compilation.

Affiliation:KU Leuven, Belgium
Personal website:
Research interests:Dependent type theory, parametricity, directed type theory, presheaf models


TyDe 2022 Author of Contextual Algebraic Theories: Generic Boilerplate beyond Abstraction (Extended Abstract) within the TyDe 2022-track
PriSC 2021 Author of A Categorical Approach to Secure Compilation (and others things) (short talk) within the PriSC 2021-track
TyDe 2019 Author of How to do proofs? Practically proving properties about effectful programs' results (functional pearl) within the TyDe 2019-track
Author of Reasoning about Effect Parametricity Using Dependent Types within the TyDe 2019-track
PLNL 2018 Author of Degrees of Relatedness - A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory within the PLNL-track
ICFP 2017 Author of Parametric Quantifiers for Dependent Type Theory within the Research Papers-track