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

Radboud Universiteit Nijmegen

• Software Science – prof.dr. J.H. Geuvers, prof.dr. F.W. Vaandrager, prof. dr. Sven-Bodo Scholz.

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 – contact: dr. Jesper Cockx
• Software Engineering – prof.dr. A. van Deursen

Technische Universiteit Eindhoven

• Computational Biology – prof.dr. P.A.J. Hilbers
• Formal System Analysis – dr.ir. T.A.C. Willemse, prof.dr.ir. J.F. Groote
• Interconnected Resource-aware Intelligent Systems – prof.dr. J.J. Lukkien, 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, prof.dr. A. Rensink, and prof.dr. M.I.A. Stoelinga

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

• Complex Cyber Infrastructure – dr. Z. Mann
• Theory of Computer Science – prof. C. Schaffner

Vrije Universiteit Amsterdam

• Theoretical Computer Science – prof.dr. W.J. Fokkink
• Foundational and Experimental Security – prof.dr. F. Massacci