team
FORSE - Lightweight Formal Methods for Software Engineering
At the FORSE lab, we bring rigorous formal methods together with practical software engineering.
Team page under construction.
(TU Delft students) Interested in a MSc thesis at the FORSE lab? Explore example projects below to get inspired.
- Delano Flipse, “Practical Automated Network-Level Fault Injection Testing of Service-Oriented Distributed Systems”, MSc, 2025 (with ASML) (thesis, paper at ICSE’26)
- Davis Kažemaks, “Improving Response Time and Fairness with Efficient Scheduling and Partitioning”, MSc, 2025 (with ASML) (thesis, paper at SoCC’25)
- Bob Brockbernd, “Static Deadlock Analysis for Kotlin Coroutines”, MSc, 2024 (with JetBrains) (thesis, paper at ECOOP’24)
- Luan Li, “Fuzzing for concurrent programs under C/C++ weak memory model”, MSc, 2024 (thesis)
- Melchior Oudemans, “Coverage Guided Testing of Graph Processing Applications”, MSc, 2024 (thesis, paper at ICGT’25, awarded “Best Software Science Paper”)
- Jason Qiu, “Testing Distributed Database Isolation through Anti-Pattern Detection”, MSc, 2023 (thesis, paper at ICGT’24)
- Nick Dekker, “Bug Detection in Distributed Systems with Platform-independent Fault Injection: A Case Study at Adyen” MSc, 2023 (with Adyen) (thesis)
- Mingyu Gao, “Probabilistic Testing for Weak Memory Concurrency” MSc, 2022 (thesis, paper at ASPLOS’23)
- Martijn van Meerten, “Evolutionary Distributed Concurrency Testing of Blockchain Consensus Algorithms” MSc, 2022 (thesis, paper at ICSE-SEIP’23)