Research school IPA

The Mathematics and Computer Science Department is the main contractor of the IPA research school (Institute for Programming research and Algorithmics). IPA is a joint venture between eight universities: Eindhoven University of Technology, Utrecht University, University of Twente, Free University Amsterdam, Radboud University Nijmegen, Leiden University, University of Groningen, University of Amsterdam and the Center for Mathematics and Computer Science (CWI).

IPA has concluded a cooperation agreement with the Danish research school BRICS, the Finnish research school TUCS and the British research school UKII under the name of European Educational Forum (EEF).

The research at IPA focuses on three themes: Algorithms and Complexity, Formal Methods and Software Technology.
There are six spearheads within this research: Testing, Renovation, Embedded Systems, Software Architecture, Natural Computation and Algorithms for Planning and Design.

The research school SIKS (School for Information and Knowledge Systems) is an interuniversity research school in which the Department of Mathematics and Computer Science is participating. SIKS researches the way in which large quantities of information and knowledge may be stored, structured and processed in a useful and efficient manner. It facilitates and encourages cooperation among its members and stakeholders that are interested in the research, such as other academic committees, prominent enterprises, providers of subsidies and government agencies.