Research We investigate and develop theories, techniques and tools for modelling and analysing the behaviours of (concurrent) systems. Research focusses on process algebra, semantics, model checking, logics and satisfiability solving. Application areas include protocols, hardware designs, industrial control systems. Tools developed by the group include mCRL2 and MaDL. Read More…
Education We offer courses in Logic, Formal Methods, Model Checking and Automated Reasoning. We are always looking for enthusiastic people who are interested in a research project or thesis in our Master programme. Read More…
Master thesis award
The VERSEN master thesis award was granted to Kevin Jilissen for his master thesis showing that tunnel software can formally be verified, exposing some design errors.
Two papers accepted at IJCAI 2023
We are happy to have two papers accepted at IJCAI 2023: “More for Less: Safe Policy Improvement With Stronger Performance Guarantees” together with TU Dresden and Radboud University Nijmegen and “A Unifying Formal Approach to …continue reading
Paper accepted at NASA formal methods
The paper “Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access” by C. Dubslaff from FSA and a collaboration with TU Dresden (P. Wienhöft, C. Baier, and S. J. Kiebel) has been accepted for …continue reading
New book: ‘Spelen met oneindigheid’
Hans Zantema has published a book (‘Spelen met oneindigheid, verrassende figuren en patronen’, in Dutch—English translation is work in progress) about infinite sequences and their visualisations, see this link. An interview with Hans can be …continue reading
Visitor: Maurice ter Beek
Maurice ter Beek (ISTI, CNR, Pisa) will be visiting us from 1-6 March. He’ll be working on variability parity games, together with Erik de Vink and Tim Willemse.
- Colloquium 8 June 12.45 - 13.30, 2023, MF 6.132. Jan Martens: Using the Strong Exponential Time Hypothesis (SETH) to show the hardness of PTIME problems..
- Colloquium 1 June 12.45 - 13.30, 2023, MF 6.132. Herman Geuvers: Directed Hennessy-Milner theorems.
- Colloquium 25 May 12.45 - 13.30, 2023, MF 6.132. Anna Stramaglia: Simplifying process parameters of unfolding algebraic data types.
- Colloquium 11 May 12.45 - 13.30, 2023, MF 6.132. Jeroen Keiren: Model checking in the context of digital twins.
- Colloquium 4 May 12.45 - 13.30, 2023, MF 6.132. Erik de Vink: In search of stability: a probabilistic composition of stable processes is stable.
- Colloquium 20 April 12.45 - 13.30, 2023, MF 6.132. Clemens Dubslaff: A hybrid modeling approach for feature-oriented systems.