TCS in Amsterdam


This website provides an overview of the academic research in theoretical computer science (TCS) carried out at various institutions in Amsterdam.

TCS in Amsterdam

TCS Researchers in Amsterdam

list displayed alphabetically
alternative: display by institute

Permanent Members

Avatar

Gregor Behnke

automated planning, boolean satisfiability, artificial intelligence

Avatar

Frank S. de Boer

semantics and proof-theory of (concurrent) programming languages, computer-aided specification and verification, component-based software engineering, multi-agent systems

Avatar

Jop Briët

additive combinatrics, geometric functional analysis, quantum information, coding theory

Avatar

Harry Buhrman

quantum computing, complexity theory, quantum cryptography, Kolmogorov complexity, computational biology

Avatar

Balder ten Cate

data management, artificial intelligence, computational learning theory, logic in computer science

Avatar

Daniel Dadush

convex optimization, lattice algorithms, algorithms for integer programming, convex geometry

Avatar

Jo Ellis-Monaghan

algebraic combinatorics, applied graph theory

Avatar

Ulle Endriss

computational social choice, artificial intelligence

Avatar

Jörg Endrullis

term and graph rewriting, automata theory

Avatar

Wan Fokkink

concurrency theory, protocol verification, supervisory control, distributed algorithms

Avatar

Malvin Gattinger

epistemic planning, modal logic, model checking, functional programming

Avatar

Klaus von Gleissenthall

programming languages, formal verification, security

Avatar

Krystal Guo

algebraic graph theory, quantum computing

Avatar

Ronald de Haan

parameterized complexity theory, knowledge representation & reasoning, computational logic

Avatar

Jonas Helsen

quantum computing, quantum information theory

Avatar

Stacey Jeffery

quantum algorithms, quantum cryptography

Avatar

Ross J. Kang

probabilistic and extremal combinatorics, random discrete structures, graph colouring, geometric graphs, algorithms

Avatar

Monique Laurent

combinatorial optimization, semidefinite programming, combinatorics

Avatar

Yasamin Nazari

Graph algorithms, Dynamic algorithms, Distributed and Parallel algorithms

Avatar

Māris Ozols

quantum computing, quantum Information, quantum algorithms

Avatar

Solon P. Pissis

algorithms, data structures, bioinformatics

Avatar

Femke van Raamsdonk

logic, rewriting

Avatar

Guus Regts

combinatorics, graph polynomials, approximate counting

Avatar

Rebecca Reiffenhäuser

algorithmic game theory, algorithmic fairness

Avatar

Nicolas Resch

coding theory, cryptography

Avatar

Christian Schaffner

quantum cryptography, cryptographic protocols, (quantum) information theory

Avatar

Guido Schäfer

algorithmic game theory, combinatorial optimization, algorithms, complexity

Avatar

Florian Speelman

quantum information, complexity theory, quantum cryptography, quantum communication

Avatar

Leen Stougie

optimization, approximation algorithms, computational biology

Avatar

Yde Venema

modal logic, algebra, coalgebra

Avatar

John van de Wetering

quantum computing, quantum foundations

Avatar

Ronald de Wolf

quantum computing, complexity theory

Avatar

Jeroen Zuiddam

computational complexity, quantum information theory, discrete mathematics

Postdocs

Avatar

Chris Cade

quantum computing

Avatar

Léo Colisson

quantum cryptography, lattice based cryptography

Avatar

Yfke Dulek

quantum computing, cryptography

Avatar

Nikhil Mande

computational complexity

Avatar

Ido Niesen

quantum computing, tensor networks, condensed matter physics

Avatar

Mehrdad Tahmasbi

quantum cryptography, quantum information theory

PhD Students

Avatar

Anne Baanen

logic, type theory, formal verification

Avatar

Yanlin Chen

quantum algorithms

Avatar

Julian Chingoma

computational social choice, knowledge representation

Avatar

Lynn Engelberts

quantum algorithms

Avatar

Llorenç Escolà Farràs

quantum cryptography

Avatar

Rene Allerstorfer

quantum algorithms

Avatar

Marten Folkertsma

quantum algorithms, quantum complexity theory

Avatar

Dmitry Grinko

quantum algorithms

Avatar

Garazi Muguruza Lasa

quantum cryptography

Avatar

Niels Neumann

quantum computing, quantum applications

Avatar

Harold Nieuwboer

quantum information and geometry

Avatar

Visa Nummelin

theorem proving, higher-order unification, higher-order superposition

Avatar

Roy Overbeek

term and graph rewriting

Avatar

Galina Pass

quantum algorithms

Avatar

Subhasree Patro

quantum computing, computational complexity

Avatar

Daira Pinto Prieto

knowledge representation

Avatar

Simon Rey

computational social choice, algorithmic game theory

Avatar

Aloïs Rosset

term and graph rewriting

Avatar

Jana Sotáková

isogeny-based cryptography, computational number theory, quantum cryptanalysis

Avatar

Quinten Marcus Tupker

quantum algorithms

Avatar

Philip Verduyn Lunel

quantum algorithms, quantum cryptography

Avatar

Jordi Weggemans

quantum algorithms

Avatar

Sebastian Zur

quantum query/time complexity, quantum algorithms, quantum cryptography

Seminars

The following TCS seminars are held regularly at various places in Amsterdam (some of them also online):

Furthermore, there also are the following one-off talks:

Some Alumni

[the following are incomplete lists of people who graduated / left / retired in the last years]

Permanent Members

NameInstitutionYearsCurrent Affiliation
Jasmin BlanchetteVrije Universiteit Amsterdam2017-2023Ludwig-Maximilians-Universität München
Leen TorenvlietUniversity of Amsterdam1975 - 2022retired
Inge BethkeUniversity of Amsterdam2001-2022retired
Alban PonseUniversity of Amsterdam1995-2022retired
Viresh PatelUniversity of Amsterdam2015-2022Queen Mary University of London
Michael WalterUniversity of Amsterdam2017-2021Ruhr Universität Bochum

Postdocs

NameAdvisorYearsCurrent Affiliation
Jonas HelsenMichael Walter2019-2021CWI / QuSoft
Christian MajenzChristian Schaffner2019-2021DTU Compute
Alex GriloStacey Jeffery2018-2021CNRS at LIP6
Yinan LiMichael Walter, Ronald de Wolf2018-2020Nagoya University

PhD Students

NamePhD Advisor(s)Year of PhDCurrent Affiliation
Arjan CornelissenMāris Ozols2023Université Paris Cité
Freek WitteveenMichael Walter2022Centre for the Mathematics of Quantum Theory van de Department of Mathematical Sciences van de University of Copenhagen
Petar VukmirovicJasmin Blanchette2022De Nederlandsche Bank
Farrokh LabibJop Briët2022Goldman Sachs, Zürich
Jan CzajkowskiChristian Schaffner, Harry Buhrman2021Shell
Alexander BentkampJasmin Blanchette, Wan Fokkink, Uwe Waldmann2021Mathematical Institute of the Heinrich-Heine-Universität Düsseldorf
Zoi TerzopoulouUlle Endriss2021GATE, Saint-Etienne School of Economics
Joris KattemölleJasper van Wezel, Kareljan Schoutens2021University of Konstanz
Yfke DulekChristian Schaffner, Harry Buhrman2020QuSoft
Joran van ApeldoornRonald de Wolf2020Institute of Information Law, UvA
Koen GroenlandHarry Buhrman, Kareljan Schoutens2020UvA and QuSoft
András GilyénRonald de Wolf2019Alfréd Rényi Institute of Mathematics, Budapest
Sander GriblingMonique Laurent, Ronald de Wolf2019IRIF, Université Paris Cité
Srinivasan ArunachalamRonald de Wolf2018IBM T.J. Watson Research Center
Giannicola ScarpaRonald de Wolf2013Universidad Politécnica de Madrid
Umberto GrandiUlle Endriss2012IRIT, University of Toulouse
Stephanie WehnerHarry Buhrman2008QuTech, TU Delft
Troy LeeHarry Buhrman2006University of Technology Sydney