Research Groups

Centrum Wiskunde en Informatica

• Computer Security – prof.dr. F.S. de Boer and prof.dr. M. van Dijk
• Algorithms and complexity – prof.dr. H.M. Buhrman
• Intelligent Systems – prof.dr.ir. J.A. La Poutré
• Software analysis and transformation – prof.dr. J.J. Vinju

Open Universiteit

• Software Quality – prof.dr. T. Vos and prof.dr. M.C.J.D. van Eekelen

Radboud Universiteit Nijmegen

• Software Science – prof.dr. J.H. Geuvers and prof.dr. F.W. Vaandrager

Rijksuniversiteit Groningen

• Fundamental Computing Group – prof.dr. Jorge Pérez
• Software Engineering and Architecture Group – prof.dr.ir. P. Avgeriou

Technische Universiteit Delft

• Programming Languages – prof.dr. E. Visser
• Software Engineering – prof.dr. A. van Deursen

Technische Universiteit Eindhoven

• Algorithms, Geometry & Applications – prof.dr. M. de Berg and prof.dr. B. Speckmann
• Computational Biology – prof.dr. P.A.J. Hilbers
• Control Systems Technology – prof.dr. W.J. Fokkink
• Formal System Analysis – prof.dr.ir. J.F. Groote
• Interconnected Resource-aware Intelligent Systems – prof.dr. J.J. Lukkien and prof.dr. N. Meratnia
• Security – prof.dr. S. Etalle
• Software Engineering & Technology – prof.dr. M.G.J. van den Brand, prof.dr. M.R.V. Chaudron, and prof.dr. A. Serebrenik

Universiteit Leiden

• Natural Computing – prof.dr. T. Bäck
• Theory – prof.dr. M. Bonsangue and prof.dr. J. Kleijn

Universiteit Twente

• Formal Methods and Tools – prof.dr. M. Huisman

Universiteit Utrecht

• Algorithms and Complexity – prof.dr. H.L. Bodlaender
• Software Technology – prof. dr. G.K. Keller
• Software Technology for Learning and Teaching – prof. dr. J.T. Jeuring

Universiteit van Amsterdam

• Systems and Networking Lab – dr. C. Grelck and dr. Z. Zhao
• Theory of Computer Science – dr. A. Ponse

Vrije Universiteit Amsterdam

• Theoretical Computer Science – prof.dr. W.J. Fokkink