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…

Open PhD Positions

The formal system analysis group has several open PhD positions, targeting various topics that range from pure theory to applied formal methods. Please contact us, in case you consider to strive towards a PhD and …continue reading

Posted in People, Research | Comments Off on Open PhD Positions

FSA goes to MARS

Three papers, submitted to the MARS workshop, a workshop on modelling real systems, were accepted for publication: a paper on the IEEE 1394 Link Layer by Hubert Garavel and Bas Luttik, a paper on Tunnel …continue reading

Posted in Research | Comments Off on FSA goes to MARS

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 29th, entitled “Measuring Robustness in Cyber-Physical Systems under …continue reading

Posted in People, Research | 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

More news…