• Postal addressShow on map

    Nijenborgh9

    9747 AG Groningen

    Netherlands

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