The mission of FMT is to develop mathematical methods and high-performance algorithms for the design of reliable software- and data-intensive control systems.
We focus on modelling, synthesis, analysis, and prediction of their functional, structural and quantitative aspects. We aim to understand a complex systems’ safety, reliability, performance, energy usage, and the risks and costs associated to its architecture, design, operation and maintenance. Our mission builds on extensive experience in concurrency theory, static analysis, theorem proving, model checking, and term/graph rewriting.
Our focus areas are:
- Quantitative modelling and analysis for cyber-physical and socio-technical systems;
- Program verification for concurrent and distributed software;
- High-performance algorithms and tools for model checking and model transformation.