Welcome to the FMT Group!
The mission of FMT is to develop mathematical methods, high-performance data structures and algorithms, and suitable programming languages for the design of reliable software- and data-intensive control systems.

We focus on modelling, synthesis, analysis, prediction and maintenance of their functional, structural and quantitative aspects. We aim to understand safety, reliability, performance, energy usage of complex systems and the risks and costs associated to their architecture, design, operation and maintenance. 
Our mission builds on extensive experience in concurrency theory, static analysis, theorem proving, language design, model checking and term/graph rewriting.

Our focus areas are:

  1. Quantitative modelling and analysis for cyber-physical and socio-technical systems; 
  2. Program design and verification for (concurrent) software;
  3. High-performance algorithms and data structures for model checking and model transformation.