• Postal address

    Nijenborgh9

    9747 AG Groningen

    Netherlands

Organisatieprofiel

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.

Netwerk

Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of