Andreas Nuyts

Andreas Nuyts

Email: firstnamelastname at gmail dot com

I obtained my PhD under the supervision of prof. Dominique Devriese and prof. Frank Piessens at imec-DistriNet, KU Leuven, Belgium, holding a PhD fellowship from the Research Foundation - Flanders (FWO).

My research and publications (BibTeX - dblp - ORCID)

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

Robust Notions of Contextual Fibrancy (2020)
Transpension: The Right Adjoint to the Pi-type (2020, Submitted to LMCS)
With Dominique Devriese. MTT: Multimodal Dependent Type Theory (LICS '20)
By Daniel Gratzer, G. A. Kavvos, A. N., Lars Birkedal A Categorical Approach to Secure Compilation
By Stelios Tsampas, A. N., Dominique Devriese, Frank Piessens
Menkar - the multimode presheaf proof assistant
How to do Proofs: Practically Proving Properties about Effectful Programs' Results (Functional Pearl) (TyDe '19)
By Koen Jacobs, A. N., Dominique Devriese
Degrees of Relatedness (LICS '18)
With Dominique Devriese. Parametric Quantifiers for Dependent Type Theory (ICFP '17)
With Andrea Vezzosi and Dominique Devriese. Towards a Directed Homotopy Type Theory based on 4 Kinds of Variance (Master thesis, 2015) * Please don't print my slides, which have incrementally appearing bullet points.