TCS in Amsterdam


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

TCS in Amsterdam

TCS Researchers in Amsterdam

list displayed alphabetically
alternative: display by institute

Faculty

Avatar

Inge Bethke

process algebra, meadows, term rewriting

Avatar

Jasmin Blanchette

interactive and automatic theorem provers

Avatar

Frank S. de Boer

programming logics and semantics, theoretical computer science

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

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

Monique Laurent

combinatorial optimization, semidefinite programming, combinatorics

Avatar

Māris Ozols

quantum computing, quantum Information, quantum algorithms

Avatar

Viresh Patel

graph theory, combinatorics, discrete mathematics

Avatar

Solon P. Pissis

algorithms, data structures, bioinformatics

Avatar

Alban Ponse

process algebra, program and thread algebra, short-circuit logic

Avatar

Femke van Raamsdonk

logic, rewriting

Avatar

Guus Regts

combinatorics, graph polynomials, approximate counting

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

Leen Torenvliet

algorithms and complexity, Kolmogorov complexity, machine learning, databases

Avatar

Yde Venema

modal logic, algebra, coalgebra

Avatar

Michael Walter

quantum information, optimization, representation theory, mathematical physics

Avatar

Ronald de Wolf

quantum computing, complexity theory

Avatar

Jeroen Zuiddam

computational complexity, quantum information theory, discrete mathematics

Postdocs

Avatar

Yfke Dulek

quantum computing, cryptography

Avatar

Adrian Haret

computational social choice, knowledge representation

Avatar

Jan Maly

computational social choice, knowledge representation

Avatar

Nikhil Mande

computational complexity

Avatar

Mehrdad Tahmasbi

quantum cryptography, quantum information theory

PhD Students

Avatar

Anne Baanen

logic, type theory, formal verification

Avatar

Arthur Boixel

computational social choice, knowledge representation

Avatar

Sirin Botan

computational social choice

Avatar

Yanlin Chen

quantum algorithms

Avatar

Julian Chingoma

computational social choice, knowledge representation

Avatar

Arjan Cornelissen

quantum algorithms

Avatar

Llorenç Escolà Farràs

quantum cryptography

Avatar

Rene Allerstorfer

quantum algorithms

Avatar

Marten Folkertsma

quantum algorithms

Avatar

Dmitry Grinko

quantum algorithms

Avatar

Farrokh Labib

quantum information

Avatar

Jannis Limperg

type theory, proof assistants, proof automation

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

Philip Verduyn Lunel

quantum algorithms, quantum cryptography

Avatar

Petar Vukmirovic

theorem proving, higher-order unification, term rewriting

Avatar

Jordi Weggemans

quantum algorithms

Avatar

Freek Witteveen

quantum information, quantum field theory

Avatar

Sebastian Zur

quantum query/time complexity, quantum algorithms, quantum cryptography

Research Assistants

Avatar

Oliviero Nardi

computational social choice

Seminars

The following TCS seminars are held regularly at various places in Amsterdam (for the time being also online):

Some Alumni

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

Postdocs

NameAdvisorYearsCurrent Affiliation
Jonas HelsenMichael Walter2019-2021QuSoft / CWI
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
Jan CzajkowskiChristian Schaffner, Harry Buhrman2022Weizmann Institute of Science
Alexander BentkampJasmin Blanchette, Wan Fokkink, Uwe Waldmann2021Chinese Academy of Sciences
Zoi TerzopoulouUlle Endriss2021LAMSADE, Paris-Dauphine University
Joris KattemölleJasper van Wezel, Kareljan Schoutens2021University of Konstanz
Yfke DulekChristian Schaffner, Harry Buhrman2020CWI
Joran van ApeldoornRonald de Wolf2020UvA
Koen GroenlandHarry Buhrman, Kareljan Schoutens2020UvA
András GilyénRonald de Wolf2019Alfréd Rényi Institute of Mathematics, Budapest, Hungary
Sander GriblingMonique Laurent, Ronald de Wolf2019IRIF, Paris
Srinivasan ArunachalamRonald de Wolf2018IBM Research
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