logo-print

Faculteit Wiskunde en Informatica

Onderzoeksschool IPA

De faculteit Wiskunde en Informatica is penvoerder van de onderzoeksschool IPA (Instituut voor Programmatuurkunde en Algoritmiek). IPA is een samenwerkingsverband tussen acht universiteiten: Technische Universiteit Eindhoven, Universiteit Utrecht, Universiteit Twente, Vrije Universiteit Amsterdam, Katholieke Universiteit Nijmegen, Universiteit Leiden, Rijksuniversiteit Groningen, Universiteit van Amsterdam en het Centrum voor Wiskunde en Computer Wetenschappen (CWI).

Met de Deense onderzoekschool BRICS, de Finse onderzoekschool TUCS en de Britse onderzoekschool UKII heeft IPA een samenwerkingsovereenkomst gesloten onder de naam European Educational Forum (EEF).

Het onderzoek van IPA is verdeeld in drie thema’s: Algoritmen en Complexiteit, Formele Methoden en Software Technologie.

Ze kent zes speerpunten binnen onderzoek: Testen, Renovatie, Embedded Systems, Software Architectuur, Natural Computation en Algoritmen voor Planning en Ontwerp.