• Postal address


    9747 AG Groningen


Organization profile

Organisational unit profile

Our research concerns the study and development of rigorous methods for ensuring the reliability of software systems. This is a scientific and societal challenge, which we address from a number of different angles, exploiting concepts and theories from discrete mathematics and logic.


Recent external collaboration on country/territory level. Dive into details by clicking on the dots or