• Postal addressShow on map


    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