IPA Groups listed by University

Centrum voor Wiskunde en Informatica

Quantum Computing and Advanced Systems Research Interactive Software Development and Renovation Specification and Analysis of Embedded Systems Coordination Languages Evolutionary Computation and Applied Algorithmics

Radboud Universiteit Nijmegen

Model-Based System Development - prof.dr.ir. F.W. Vaandrager Digital Security - prof.dr. B.P.F. Jacobs Intelligent Systems - prof.dr. J.H. Geuvers

Rijksuniversiteit Groningen

Fundamental Computing - prof.dr. W.H. Hesselink

Technische Universiteit Eindhoven

Algorithms - prof.dr. M. de Berg Biomodeling and Informatics - prof.dr. P.A.J. Hilbers Formal Methods - prof.dr. J.C.M. Baeten Ontwerp en Analyse van Systemen - prof.dr.ir. J.F. Groote Security - prof.dr. S. Etalle Software Engineering & Technology - prof.dr. M.G.J. van den Brand System Architecture and Networking - prof.dr. J.J. Lukkien Systems Engineering - prof.dr.ir. J.E. Rooda

Universiteit Leiden

Algorithmics and Foundations of Programming Theoretical Computer Science

Universiteit Twente

Formal Methods and Tools - prof.dr. J.C. van de Pol Distributed and Embedded Security - prof.dr. P.H. Hartel Twente Research and Education on Software Engineering - prof.dr. ir. M. Akşit

Universiteit Utrecht

Algorithmic Systems - prof.dr. J. van Leeuwen Software Technology

Universiteit van Amsterdam

Programming Research Group

Vrije Universiteit Amsterdam

Theoretical Computer Science - prof.dr. W.J. Fokkink

Technische Universiteit Delft

Software Engineering Research Group