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
- 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
- UvA Van 't Hoff Institute for Molecular Sciences
- VU Theoretical Computer Science
- 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
Monique Laurent
Senior Researcher, Full Professor
combinatorial optimization, semidefinite programming, combinatorics
Yasamin Nazari
Assistant Professor
Graph algorithms, Dynamic algorithms, Distributed and Parallel algorithms
Guido Schäfer
Group Leader CWI, Full Professor
algorithmic game theory, combinatorial optimization, algorithms, complexity
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
Gregor Behnke
Assistant Professor
automated planning, boolean satisfiability, artificial intelligence
Harry Buhrman
Distinguished Research Professor
quantum computing, complexity theory, quantum cryptography, Kolmogorov complexity, computational biology
Balder ten Cate
Associate Professor
data management, artificial intelligence, computational learning theory, logic in computer science
Malvin Gattinger
Assistant Professor
epistemic planning, modal logic, model checking, functional programming
Dmitry Grinko
Postdoc
quantum algorithms, quantum information, representation theory, quantum error correction
Davide Grossi
Associate Professor
computational social choice, multi-agent systems, computational game theory, logic
Ronald de Haan
Assistant Professor
parameterized complexity theory, knowledge representation & reasoning, computational logic
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
Xi Yang
PhD Student
UvA Informatics Institute
Martijn Brehm
PhD Student
Sarah Meng Li
PhD Student
Quantum circuit characterization, synthesis and optimization, Quantum error correction, Fault-tolerant quantum computing
Christian Schaffner
Full Professor
quantum cryptography, cryptographic protocols, (quantum) information theory
Florian Speelman
Assistant Professor
quantum information, complexity theory, quantum cryptography, quantum communication
UvA Korteweg-de Vries Institute for Mathematics
Ross J. Kang
Associate Professor
probabilistic and extremal combinatorics, random discrete structures, graph colouring, geometric graphs, algorithms
Jeroen Zuiddam
Assistant Professor
computational complexity, quantum information theory, discrete mathematics
Gabriëlle Zwaneveld
PhD Student
UvA Institute of Physics
UvA Van 't Hoff Institute for Molecular Sciences
VU Theoretical Computer Science
Alp Adnan Başar
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
Kristina Sojakova
Assistant Professor
programming languages, security and privacy, formal verification, type theory
Tsz Fung Wind Wong
PhD Student
QuSoft
Jop Briët
Senior Researcher
additive combinatrics, geometric functional analysis, quantum information, coding theory
Harry Buhrman
Distinguished Research Professor
quantum computing, complexity theory, quantum cryptography, Kolmogorov complexity, computational biology
Dmitry Grinko
Postdoc
quantum algorithms, quantum information, representation theory, quantum error correction
Sarah Meng Li
PhD Student
Quantum circuit characterization, synthesis and optimization, Quantum error correction, Fault-tolerant quantum computing
Christian Schaffner
Full Professor
quantum cryptography, cryptographic protocols, (quantum) information theory
Florian Speelman
Assistant Professor
quantum information, complexity theory, quantum cryptography, quantum communication
Jeroen Zuiddam
Assistant Professor
computational complexity, quantum information theory, discrete mathematics