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 Researchers in Amsterdam
list displayed alphabetically
alternative: display by institute
Permanent Members
Andrés Goens
programming languages, formal verification, concurrency
Balder ten Cate
data management, artificial intelligence, computational learning theory, logic in computer science
Christian Schaffner
quantum cryptography, cryptographic protocols, (quantum) information theory
Daniel Dadush
convex optimization, lattice algorithms, algorithms for integer programming, convex geometry
Femke van Raamsdonk
logic, rewriting
Florian Speelman
quantum information, complexity theory, quantum cryptography, quantum communication
Frank S. de Boer
semantics and proof-theory of (concurrent) programming languages, computer-aided specification and verification, component-based software engineering, multi-agent systems
Gregor Behnke
automated planning, boolean satisfiability, artificial intelligence
Guido Schäfer
algorithmic game theory, combinatorial optimization, algorithms, complexity
Guus Regts
combinatorics, graph polynomials, approximate counting
Harry Buhrman
quantum computing, complexity theory, quantum cryptography, Kolmogorov complexity, computational biology
Jeroen Zuiddam
computational complexity, quantum information theory, discrete mathematics
Jo Ellis-Monaghan
algebraic combinatorics, applied graph theory
John van de Wetering
quantum computing, quantum foundations
Jonas Helsen
quantum computing, quantum information theory
Jop Briët
additive combinatrics, geometric functional analysis, quantum information, coding theory
Jörg Endrullis
term and graph rewriting, automata theory
Klaus von Gleissenthall
programming languages, formal verification, security
Krystal Guo
algebraic graph theory, quantum computing
Leen Stougie
optimization, approximation algorithms, computational biology
Malvin Gattinger
epistemic planning, modal logic, model checking, functional programming
Māris Ozols
quantum computing, quantum Information, quantum algorithms
Monique Laurent
combinatorial optimization, semidefinite programming, combinatorics
Nicolas Resch
coding theory, cryptography
Rebecca Reiffenhäuser
algorithmic game theory, algorithmic fairness
Ronald de Haan
parameterized complexity theory, knowledge representation & reasoning, computational logic
Ronald de Wolf
quantum computing, complexity theory
Ross J. Kang
probabilistic and extremal combinatorics, random discrete structures, graph colouring, geometric graphs, algorithms
Solon P. Pissis
algorithms, data structures, bioinformatics
Stacey Jeffery
quantum algorithms, quantum cryptography
Ulle Endriss
computational social choice, artificial intelligence
Wan Fokkink
concurrency theory, protocol verification, supervisory control, distributed algorithms
Yasamin Nazari
Graph algorithms, Dynamic algorithms, Distributed and Parallel algorithms
Yde Venema
modal logic, algebra, coalgebra
Postdocs
Léo Colisson
quantum cryptography, lattice based cryptography
Mehrdad Tahmasbi
quantum cryptography, quantum information theory
Nikhil Mande
computational complexity
Yfke Dulek
quantum computing, cryptography
PhD Students
Aloïs Rosset
category theory, monads, toposes, graph rewriting, logic
Anne Baanen
logic, type theory, formal verification
Arie Soeteman
automated reasoning, machine learning
Dmitry Grinko
quantum algorithms
Galina Pass
quantum algorithms
Garazi Muguruza Lasa
quantum cryptography
Haitian Wang
Category Theory, Type Theory, Theorem Proving, Functional Programming, Model Checking
Harold Nieuwboer
quantum information and geometry
João Sá
automated planning
Jordi Weggemans
quantum algorithms
Llorenç Escolà Farràs
quantum cryptography
Lynn Engelberts
quantum algorithms
Marten Folkertsma
quantum algorithms, quantum complexity theory
Maurice Dekker
multi-agent path finding, epistemic planning
Niels Neumann
quantum computing, quantum applications
Philip Verduyn Lunel
quantum algorithms, quantum cryptography
Quinten Marcus Tupker
quantum algorithms
Rene Allerstorfer
quantum algorithms
Roy Overbeek
term and graph rewriting
Sebastian Zur
quantum query/time complexity, quantum algorithms, quantum cryptography
Subhasree Patro
quantum computing, computational complexity
Visa Nummelin
theorem proving, higher-order unification, higher-order superposition
Yanlin Chen
quantum algorithms
Seminars
The following TCS seminars are held regularly at various places in Amsterdam (some of them also online):
- QuSoft seminar, Fridays 11:00 at CWI
- FOAM seminar, Fridays 15:00 at ILLC
- 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
Furthermore, there also are the following one-off talks:
- Talk by Venkatesan Guruswami, Monday June 10th 2024, start at 16:00 at CWI
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 |
|---|---|---|---|
| Jasmin Blanchette | Vrije Universiteit Amsterdam | 2017-2023 | Ludwig-Maximilians-Universität München |
| Leen Torenvliet | University of Amsterdam | 1975 - 2022 | retired |
| Inge Bethke | University of Amsterdam | 2001-2022 | retired |
| Alban Ponse | University of Amsterdam | 1995-2022 | retired |
| Viresh Patel | University of Amsterdam | 2015-2022 | Queen Mary University of London |
| 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 |
|---|---|---|---|
| Arjan Cornelissen | Māris Ozols | 2023 | Université Paris Cité |
| Freek Witteveen | Michael Walter | 2022 | Centre for the Mathematics of Quantum Theory van de Department of Mathematical Sciences van de University of Copenhagen |
| Petar Vukmirovic | Jasmin Blanchette | 2022 | De Nederlandsche Bank |
| Farrokh Labib | Jop Briët | 2022 | Goldman Sachs, Zürich |
| Jan Czajkowski | Christian Schaffner, Harry Buhrman | 2021 | Shell |
| Alexander Bentkamp | Jasmin Blanchette, Wan Fokkink, Uwe Waldmann | 2021 | Mathematical Institute of the Heinrich-Heine-Universität Düsseldorf |
| Zoi Terzopoulou | Ulle Endriss | 2021 | GATE, Saint-Etienne School of Economics |
| Joris Kattemölle | Jasper van Wezel, Kareljan Schoutens | 2021 | University of Konstanz |
| Yfke Dulek | Christian Schaffner, Harry Buhrman | 2020 | QuSoft |
| Joran van Apeldoorn | Ronald de Wolf | 2020 | Institute of Information Law, UvA |
| Koen Groenland | Harry Buhrman, Kareljan Schoutens | 2020 | UvA and QuSoft |
| András Gilyén | Ronald de Wolf | 2019 | Alfréd Rényi Institute of Mathematics, Budapest |
| Sander Gribling | Monique Laurent, Ronald de Wolf | 2019 | IRIF, Université Paris Cité |
| Srinivasan Arunachalam | Ronald de Wolf | 2018 | IBM T.J. Watson Research Center |
| 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 |