Foundations Group

The Foundations group studies mathematical theories concerned with computability, provability and complexity.

People

Seminars

Research

Education

Vacancies

C-CoRN

Coq wiki

Internal pages (only for members of Grondslagen)

"Contact information for: Institute for Computing and Information Science (iCIS, Research Institute) and Instituut voor Informatica en Informatiekunde (III, Education Institute)"