• Postal addressShow on map


    9747 AG Groningen


Organisation profile

Organisation 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.

Collaborations and top research areas from the last five years

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