• Postal address

    Nijenborgh9

    9747 AG Groningen

    Netherlands

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.

Network

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