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…


Simone Tini visits FSA

Simone Tini (University of Insubria) will visit our group from February 26th to March 1st. He will deliver a guest talk at the FSA colloquium on February 27th, entitled “Measuring Robustness in Cyber-Physical Systems under …continue reading

Posted in Uncategorized | Comments Off on Simone Tini visits FSA

Two papers accepted at TACAS 2024

Two papers submitted by members of the FSA group have been accepted for publication at TACAS 2024, which will take place in Luxembourg. The following papers will be presented there: “OxiDD: A Safe, Concurrent, Modular, …continue reading

Posted in Research | Comments Off on Two papers accepted at TACAS 2024

PhD-TA position available

We offer a 5 years long PhD-TA (PhD-Teaching Assistant) position to work the application of formal methods to the analysis and verification of Cyber-Physical Systems operating under uncertainties. For more information, please refer to the …continue reading

Posted in People, Projects | Comments Off on PhD-TA position available

Edward Liem joins FSA

Edward Liem, who recently graduated with FSA, will continue as a PhD student in FSA, working under the supervision of Clemens Dubslaff. A warm welcome to Edward!

Posted in People | Comments Off on Edward Liem joins FSA

Paper accepted for JLAMP

The following paper has been accepted for publication in the Journal of Logical and Algebraic Methods in Programming: Back to the Format: A Survey on SOS for Probabilistic Processes, by Valentina Castiglioni, Ruggero Lanotte (University …continue reading

Posted in Research | Comments Off on Paper accepted for JLAMP

More news…