Students
Student projects supervised in the STyLo team
Current Students
- Rakesh Kumar: Isomorphism Theorems for Diffeological Groupoids (Bsc.)
- Carlos Eduardo Moreira Mendes: Empirical Bounds on Random Graph Colorings using Markov Chains Monte Carlo Simulations (Bsc.)
- Kimberly Rijvers: Logical Foundations for Attack-Defence Trees (Bsc.)
Former Students
- Niels van Schagen: Developing a Backend Compiler for PDE Simulation on the Anadigm AN231E04 Hybrid Computer (Bsc., finished July 2025)
- Hessel Sieburgh: Simplicial Coalgebras for Concurrent Regular Languages (Bsc., finished July 2025)
- Jamie Wiskerke: Probability theory in the Category of Diffeological Spaces (Bsc., finished July 2025)
- Walt Duivenvoorde: Simulating Differential Equations using Hybrid Digital-Analog Computers (Bsc., finished August 2024)
- Lulof Pirrée: Coalgebraic Modal Logic for Cellular Automata (Msc., finished July 2024)
- Huib Sprangers: A Type System for Machine Learning Pipelines (Bsc., finished May 2024)
- Floyd Remmerswaal: Validation & Simulation of Software-Defined Network Specifications in Probabilistic NetKAT (Msc, Finished December 2023)
- Berend van Starkenburg: Working Towards Category Theoretic Semantics for Separation Logic (Msc., Finished September 2023)
- Dirck van den Ende: Towards a Compiler for Partial Differential Equations for Analog Computers (Bsc., finished July 2023)
- Dominique R. Lawson: Formalizing the Van Kampen Theorem for Directed Topology (Bsc., finished July 2023)
- Mattias Tuk: Usability of VR in the construction of category theoretical diagrams (Bsc., finished March 2023)
- Thomas Baronner: Finite accessibility of Higher-Dimensional Automata and unbounded parallelism of their languages (Bsc., finished Dec. 2022)
- Lennard Schaap: Formalised semantics of Lustre (Bsc., finished July 2022)
- Julia Bolt: An approach to describing the semantics of Hedy, a gradual programming language for education (Msc., finished June 2022)
- Loes Dekker: Formal Semantics of ALCH (Msc., finished July 2021)
- Rintse van de Vlasakker: Operational Semantics of GHOPFL – A guarded, higher order, probabilisitc, coinductive, functional language (Msc., finished July 2021)
- Daniëlle Gramsbergen: Subcoinductive Types (Bsc., finished July 2020)
- Alex Keizer: Coalgebras of Session Types (Bsc., finished July 2020)
- Daniël Otten: M-Types and Bisimulation (Bsc., finished July 2020)