TCS in Amsterdam
This website provides an overview of the academic research in theoretical computer science (TCS) carried out at various institutions in Amsterdam.
Open faculty positions
New Application deadline for quantum faculty positions: 15 April 2022
Tenured Position in Discrete Mathematics: 30 April 2022
TCS Researchers in Amsterdam
list displayed alphabetically
alternative: display by institute
Permanent Members
Gregor Behnke
automated planning, boolean satisfiability, artificial intelligence
Inge Bethke
process algebra, meadows, term rewriting
Jasmin Blanchette
interactive and automatic theorem provers
Frank S. de Boer
programming logics and semantics, theoretical computer science
Jop Briët
additive combinatrics, geometric functional analysis, quantum information, coding theory
Harry Buhrman
quantum computing, complexity theory, quantum cryptography, Kolmogorov complexity, computational biology
Daniel Dadush
convex optimization, lattice algorithms, algorithms for integer programming, convex geometry
Jo Ellis-Monaghan
algebraic combinatorics, applied graph theory
Ulle Endriss
computational social choice, artificial intelligence
Jörg Endrullis
term and graph rewriting, automata theory
Wan Fokkink
concurrency theory, protocol verification, supervisory control, distributed algorithms
Malvin Gattinger
epistemic planning, modal logic, model checking, functional programming
Klaus von Gleissenthall
programming languages, formal verification, security
Krystal Guo
algebraic graph theory, quantum computing
Ronald de Haan
parameterized complexity theory, knowledge representation & reasoning, computational logic
Jonas Helsen
quantum computing, quantum information theory
Stacey Jeffery
quantum algorithms, quantum cryptography
Monique Laurent
combinatorial optimization, semidefinite programming, combinatorics
Māris Ozols
quantum computing, quantum Information, quantum algorithms
Viresh Patel
graph theory, combinatorics, discrete mathematics
Solon P. Pissis
algorithms, data structures, bioinformatics
Alban Ponse
process algebra, program and thread algebra, short-circuit logic
Femke van Raamsdonk
logic, rewriting
Guus Regts
combinatorics, graph polynomials, approximate counting
Christian Schaffner
quantum cryptography, cryptographic protocols, (quantum) information theory
Guido Schäfer
algorithmic game theory, combinatorial optimization, algorithms, complexity
Florian Speelman
quantum information, complexity theory, quantum cryptography, quantum communication
Leen Stougie
optimization, approximation algorithms, computational biology
Leen Torenvliet
algorithms and complexity, Kolmogorov complexity, machine learning, databases
Yde Venema
modal logic, algebra, coalgebra
Michael Walter
quantum information, optimization, representation theory, mathematical physics
Ronald de Wolf
quantum computing, complexity theory
Jeroen Zuiddam
computational complexity, quantum information theory, discrete mathematics
Postdocs
Yfke Dulek
quantum computing, cryptography
Adrian Haret
computational social choice, knowledge representation
Jan Maly
computational social choice, knowledge representation
Nikhil Mande
computational complexity
Mehrdad Tahmasbi
quantum cryptography, quantum information theory
PhD Students
Anne Baanen
logic, type theory, formal verification
Arthur Boixel
computational social choice, knowledge representation
Yanlin Chen
quantum algorithms
Julian Chingoma
computational social choice, knowledge representation
Arjan Cornelissen
quantum algorithms
Rene Allerstorfer
quantum algorithms
Llorenç Escolà Farràs
quantum cryptography
Marten Folkertsma
quantum algorithms
Dmitry Grinko
quantum algorithms
Farrokh Labib
quantum information
Jannis Limperg
type theory, proof assistants, proof automation
Garazi Muguruza Lasa
quantum cryptography
Niels Neumann
quantum computing, quantum applications
Harold Nieuwboer
quantum information and geometry
Visa Nummelin
theorem proving, higher-order unification, higher-order superposition
Roy Overbeek
term and graph rewriting
Galina Pass
quantum algorithms
Subhasree Patro
quantum computing, computational complexity
Daira Pinto Prieto
knowledge representation
Simon Rey
computational social choice, algorithmic game theory
Aloïs Rosset
term and graph rewriting
Jana Sotáková
isogeny-based cryptography, computational number theory, quantum cryptanalysis
Philip Verduyn Lunel
quantum algorithms, quantum cryptography
Petar Vukmirovic
theorem proving, higher-order unification, term rewriting
Jordi Weggemans
quantum algorithms
Freek Witteveen
quantum information, quantum field theory
Sebastian Zur
quantum query/time complexity, quantum algorithms, quantum cryptography
Seminars
The following TCS seminars are held regularly at various places in Amsterdam (for the time being also online):
- QuSoft seminar, Fridays 11.00 at CWI
- Computational Social Choice seminar, various days at ILLC
- VU Theoretical Computer Science seminar, Fridays 15.30 at the VU
- Seminar on Networks and Optimization, Tuesdays/Wednesdays 11.00 at CWI
- Dutch Seminar on Optimization
Teaching
Bachelor study programmes
- Dubbele BSc Wiskunde Informatica (UvA)
- BSc Informatica (UvA)
- BSc Kunstmatige Intelligentie (UvA)
- BSc Wiskunde (UvA)
- BSc Computer Science (VU)
- BSc Artificial Intelligence (VU)
- BSc Mathematics (VU)
Master study programmes
Some Alumni
[the following are incomplete lists of people who graduated / left / retired in the last years]
Permanent Members
| Name | Institution | Years | Current Affiliation |
|---|---|---|---|
| Michael Walter | University of Amsterdam | 2017-2021 | Ruhr Universität Bochum |
Postdocs
| Name | Advisor | Years | Current Affiliation |
|---|---|---|---|
| Jonas Helsen | Michael Walter | 2019-2021 | CWI / QuSoft |
| Christian Majenz | Christian Schaffner | 2019-2021 | DTU Compute |
| Alex Grilo | Stacey Jeffery | 2018-2021 | CNRS at LIP6 |
| Yinan Li | Michael Walter, Ronald de Wolf | 2018-2020 | Nagoya University |
PhD Students
| Name | PhD Advisor(s) | Year of PhD | Current Affiliation |
|---|---|---|---|
| Jan Czajkowski | Christian Schaffner, Harry Buhrman | 2022 | Weizmann Institute of Science |
| Alexander Bentkamp | Jasmin Blanchette, Wan Fokkink, Uwe Waldmann | 2021 | Chinese Academy of Sciences |
| Zoi Terzopoulou | Ulle Endriss | 2021 | LAMSADE, Paris-Dauphine University |
| Joris Kattemölle | Jasper van Wezel, Kareljan Schoutens | 2021 | University of Konstanz |
| Yfke Dulek | Christian Schaffner, Harry Buhrman | 2020 | CWI |
| Joran van Apeldoorn | Ronald de Wolf | 2020 | UvA |
| Koen Groenland | Harry Buhrman, Kareljan Schoutens | 2020 | UvA |
| András Gilyén | Ronald de Wolf | 2019 | Alfréd Rényi Institute of Mathematics, Budapest, Hungary |
| Sander Gribling | Monique Laurent, Ronald de Wolf | 2019 | IRIF, Paris |
| Srinivasan Arunachalam | Ronald de Wolf | 2018 | IBM Research |
| Giannicola Scarpa | Ronald de Wolf | 2013 | Universidad Politécnica de Madrid |
| Umberto Grandi | Ulle Endriss | 2012 | IRIT, University of Toulouse |
| Stephanie Wehner | Harry Buhrman | 2008 | QuTech, TU Delft |
| Troy Lee | Harry Buhrman | 2006 | University of Technology Sydney |