Institutes
Institutions
All TCS researchers listed on this site are employed by one (or more) of the following institutions:
Research Groups
- CWI Algorithms and Complexity
- CWI Networks and Optimization
- CWI Computer Security
- CWI Life Sciences and Health
- UvA Informatics Institute: Theory of Computer Science, Multiscale Networked Systems
- UvA ILLC: Theoretical Computer Science
- UvA Korteweg-de Vries Institute for Mathematics: Algebra, Geometry and Mathematical Physics
- UvA Institute of Physics
- VU Theoretical Computer Science
- VU School of Business and Economics
- VU Bioinformatics
- QuSoft
CWI Algorithms and Complexity
Jop Briët
Senior Researcher
additive combinatrics, geometric functional analysis, quantum information, coding theory
CWI Networks and Optimization
Daniel Dadush
Senior Researcher
convex optimization, lattice algorithms, algorithms for integer programming, convex geometry
Guido Schäfer
Group Leader CWI, Full Professor
algorithmic game theory, combinatorial optimization, algorithms, complexity
Monique Laurent
Senior Researcher, Full Professor
combinatorial optimization, semidefinite programming, combinatorics
Yasamin Nazari
Assistant Professor
Graph algorithms, Dynamic algorithms, Distributed and Parallel algorithms
CWI Computer Security
Frank S. de Boer
Senior Researcher, Full Professor
semantics and proof-theory of (concurrent) programming languages, computer-aided specification and verification, component-based software engineering, multi-agent systems
UvA ILLC
Balder ten Cate
Associate Professor
data management, artificial intelligence, computational learning theory, logic in computer science
Gregor Behnke
Assistant Professor
automated planning, boolean satisfiability, artificial intelligence
Guido Schäfer
Group Leader CWI, Full Professor
algorithmic game theory, combinatorial optimization, algorithms, complexity
Haitian Wang
PhD Student
Category Theory, Type Theory, Theorem Proving, Functional Programming, Model Checking
Harry Buhrman
Distinguished Research Professor
quantum computing, complexity theory, quantum cryptography, Kolmogorov complexity, computational biology
Malvin Gattinger
Assistant Professor
epistemic planning, modal logic, model checking, functional programming
Ronald de Haan
Assistant Professor
parameterized complexity theory, knowledge representation & reasoning, computational logic
UvA Informatics Institute
Christian Schaffner
Full Professor
quantum cryptography, cryptographic protocols, (quantum) information theory
Florian Speelman
Assistant Professor
quantum information, complexity theory, quantum cryptography, quantum communication
Martijn Brehm
PhD student
Sarah Li
PhD student
Quantum circuit characterization, synthesis and optimization, Quantum error correction, Fault-tolerant quantum computing
UvA Korteweg-de Vries Institute for Mathematics
Jeroen Zuiddam
Assistant Professor
computational complexity, quantum information theory, discrete mathematics
Ross J. Kang
Associate Professor
probabilistic and extremal combinatorics, random discrete structures, graph colouring, geometric graphs, algorithms
VU Theoretical Computer Science
Alp Adnan Başar
PhD Student
Kristina Sojakova
Assistant Professor
programming languages, security and privacy, formal verification, type theory
Tsz Fung Wind Wong
PhD Student
Wan Fokkink
Full Professor
concurrency theory, protocol verification, supervisory control, distributed algorithms
Yasamin Nazari
Assistant Professor
Graph algorithms, Dynamic algorithms, Distributed and Parallel algorithms
VU Bioinformatics
QuSoft
Christian Schaffner
Full Professor
quantum cryptography, cryptographic protocols, (quantum) information theory
Florian Speelman
Assistant Professor
quantum information, complexity theory, quantum cryptography, quantum communication
Harry Buhrman
Distinguished Research Professor
quantum computing, complexity theory, quantum cryptography, Kolmogorov complexity, computational biology
Jeroen Zuiddam
Assistant Professor
computational complexity, quantum information theory, discrete mathematics
Jop Briët
Senior Researcher
additive combinatrics, geometric functional analysis, quantum information, coding theory