About FSA
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…
Julien Schmaltz left FSA
On November 1, 2018, Julien Schmaltz left the FSA group to take up a new position at the company ICT. We congratulate Julien and wish to thank him for all he has done for our …continue reading
Thomas Neele, Tim Willemse and Jan Friso Groote Receive Best Paper Award at FACS2018
The paper “Solving Parameterised Boolean Equation Systems with Infinite-Data Trough Quotienting” by Thomas Neele, Tim Willemse and Jan Friso Groote received the Best Paper Award at the 15th International Conference on Formal Aspects of Component …continue reading
New group member: Rick Erkens
Rick Erkens started to work 1 september 2018 as a teaching PhD student in the FSA group.
Bas Luttik and Tim Willemse Receive Best Paper Award at FMICS
Maarten Bartholomeus (ProRail), Bas Luttik and Tim Willemse received a Best Paper award for their paper “Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 toolset”, presented at the 23rd International Conference on Formal …continue reading
New group member: Olav Bunte
Olav Bunte started as a PhD candidate in the VOICE-B project in our group. The VOICE-B project, led by Tim Willemse and Louis van Gool (Océ) aims to formalise the OIL language used at Océ …continue reading
More news…
Events
- Colloquium 8 November 12.45 - 13.15, 2018, MetaForum MF 11. Rick Erkens: Up-to Techniques for Branching Bisimulation.
- MSc Defence 7 November 14.00 - 14.45, 2018, MetaForum MF 4. Ferry Timmers: A complete axiomatisation for probabilistic trace equivalence.
- PhD Defence 25 October 13.30 - 15.00, 2018, Auditorium, Senaatzaal. Mahmoud Talebi: Scalable performance analysis of wireless sensor networks.
- Colloquium 11 October 12.45 - 13.15, 2018, MetaForum MF 11. Erik de Vink: Extending Paradigm with Data (Joint work with Luuk Groenewegen and Jan Verschuren).