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

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