< Back to previous page
Researcher
Andreas Nuyts
- Disciplines:Distributed computing
Affiliations
- Distributed and Secure Software (DistriNet) (Division)
Member
From1 Aug 2020 → Today - Informatics Section (Division)
Member
From20 Jul 2015 → 4 Aug 2020
Projects
1 - 3 of 3
- Reasoning Principles beyond Elementary Logic based on Multimode and Presheaf Type TheoryFrom1 Oct 2021 → TodayFunding: FWO junior postdoctoral fellowship
- Modal Type Theory as a Library with Applications in Effect ParametricityFrom20 Aug 2021 → TodayFunding: FWO fellowships
- Theory, implementation and applications of directed dependent type theoriesFrom1 Jan 2016 → 31 Aug 2020Funding: FWO fellowships
Publications
1 - 10 of 10
- Internal and Observational Parametricity for Cubical Agda(2024)
Authors: Andreas Nuyts, Dominique Devriese
Pages: 209 - 240 - Sikkel: Multimode Simple Type Theory as an Agda Library(2022)
Authors: Joris Ceulemans, Andreas Nuyts, Dominique Devriese
Pages: 93 - 112 - Abstract Congruence Criteria for Weak Bisimilarity(2021)
Authors: Stylianos Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens
Pages: 88:1 - 88:23 - MULTIMODAL DEPENDENT TYPE THEORY(2021)
Authors: Andreas Nuyts
- Contributions to Multimode and Presheaf Type Theory(2020)
Authors: Andreas Nuyts, Frank Piessens, Dominique Devriese
- Multimodal Dependent Type Theory(2020)
Authors: Andreas Nuyts
Pages: 492 - 506Number of pages: 14 - A Categorical Approach to Secure Compilation(2020)
Authors: Stylianos Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens
Pages: 155 - 179 - How to do proofs? Practically proving properties about effectful programs' results (functional pearl)(2019)
Authors: Koen Jacobs, Andreas Nuyts, Dominique Devriese
Pages: 1 - 13 - Degrees of Relatedness: A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory(2018)
Authors: Andreas Nuyts, Dominique Devriese
Pages: 779 - 788 - Parametric quantifiers for dependent type theory(2017)
Authors: Andreas Nuyts, Dominique Devriese
Pages: 1 - 29