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