team
Research on Software Reliability of Concurrent and Distributed Systems
PhD students
MSc students
- Delano Filipse (with ASML)
(main supervisor, co-supervised by Jeremie Decouchant) - Davis Kažemaks (with ASML)
(co-supervisor, supervised by Jeremie Decouchant)
Former members
- Bob Brockbernd, MSc, 2024 (with JetBrains) (thesis)
- Mantas Zdanavičius, MSc, 2024 (thesis)
- Junbo Xiong, MSc, 2024 (thesis)
- Luan Li, MSc, 2024 (thesis)
- Melchior Oudemans, MSc, 2024 (thesis)
- Yanzhuo Zhou, MSc, 2023 (thesis)
- Wouter van Lil, MSc, 2023 (thesis)
- Marcus Schutte, MSc, 2023 (thesis)
- Jason Qiu, MSc, 2023 (thesis)
- Nick Dekker, MSc, 2023 (with Adyen) (thesis)
- Mingyu Gao, MSc, 2022 (thesis)
- Martijn van Meerten, MSc, 2022 (thesis)
- Levin Winter, BSc, 2023 (paper, source code contribution)
- Florena Buse, BSc, 2023 (paper)