Students
Student projects supervised in the STyLo team
Current Students
- Eltjo Maring: Interpretable AI for solving levels in Baba Is You (Msc.)
- Kimberly Rijvers: Attack-Defence Tree Model-checking using Dynamic Epistemic Logic (Bsc.)
- Derek Smissaert: Benchmarking floating point implementations in computations with stochastic matrices (Bsc.)
Former Students
Academic Year 2025 - 2026
- Artemijs Kravcenko: Parameter Sensitivity Analysis of the Heston Stochastic Volatility Model (Bsc., finished 2026)
- Haofan Jiang: Graded Semantics in a Fibration (Msc., finished 2026)
- Amber Jansen: Induction of Groupoid Representations via Kan Extensions (Bsc., finished 2026)
- Raoul Rutgers A Coalgebraic Cellular Automaton Model for the Verification of Redstone Systems with Minimal Logical Fragments (Bsc., finished 2026)
- Heiko Ribberink: Handling Algebraic Effects across Channels in Koka (Bsc., finished 2026)
- Sam Testers: From Discrete-Time Markov Chains to Coalgebras: A General Theory of Limit Points (Bsc., finished 2026)
Academic Year 2024 - 2025
- Rakesh Kumar: Isomorphism Theorems for Diffeological Groupoids (Bsc., finished 2025)
- 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)
- Dirck van den Ende: Quantum Computation using Weighted Model Counting – With Applications in Physics (Msc.)
Academic Year 2023 - 2024
- 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)
Academic Year 2022 - 2023
- 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)
Academic Year 2021 - 2022
- 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)
Academic Year 2020 - 2021
- 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)
Academic Year 2019 - 2020
- 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)