Research Groups
Centrum Wiskunde en Informatica
- Algorithms and complexity – prof.dr. H.M. Buhrman
- Software analysis and transformation – prof.dr. J.J. Vinju
- Formal Methods – prof.dr. F.S. de Boer
- Intelligent Systems – prof.dr.ir. J.A. La Poutré
Radboud Universiteit Nijmegen
- Software Science – prof.dr. J.H. Geuvers and prof.dr. F.W. Vaandrager
Rijksuniversiteit Groningen
- Software Engineering and Architecture Group – prof.dr.ir. P. Avgeriou
- Fundamental Computing Group – prof.dr. Jorge Pérez
Technische Universiteit Delft
- Software Engineering – prof.dr. A. van Deursen
- Programming Languages – prof.dr. E. Visser
Technische Universiteit Eindhoven
- Algorithms – prof.dr. M. de Berg
- Applied Geometric Algorithms – prof.dr. B. Speckmann
- Computational Biology – prof.dr. P.A.J. Hilbers
- Formal System Analysis – 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
- Control Systems Technology – prof.dr. W.J. Fokkink
Universiteit Leiden
- Algorithms and Software Technology (AST) – prof.dr. F. Arbab and prof.dr. T. Bäck
Universiteit Twente
- Formal Methods and Tools – prof.dr. M. Huisman
- Distributed and Embedded Security – prof.dr. P.H. Hartel
Universiteit Utrecht
- Software Technology – prof. dr. J.T. Jeuring and prof. dr. G.K. Keller
- Algorithms and Complexity – prof.dr. H.L. Bodlaender
Universiteit van Amsterdam
- Theory of Computer Science – prof.dr. J.A. Bergstra
Vrije Universiteit Amsterdam
- Theoretical Computer Science – prof.dr. W.J. Fokkink