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
Gregor Behnke
automated planning, boolean satisfiability, artificial intelligence
Jasmin Blanchette
interactive and automatic theorem provers
Frank S. de Boer
semantics and proof-theory of (concurrent) programming languages, computer-aided specification and verification, component-based software engineering, multi-agent systems
Jop Briët
additive combinatrics, geometric functional analysis, quantum information, coding theory
Harry Buhrman
quantum computing, complexity theory, quantum cryptography, Kolmogorov complexity, computational biology
Balder ten Cate
data management, artificial intelligence, computational learning theory, logic in computer science
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
Solon P. Pissis
algorithms, data structures, bioinformatics
Femke van Raamsdonk
logic, rewriting
Guus Regts
combinatorics, graph polynomials, approximate counting
Rebecca Reiffenhäuser
algorithmic game theory, algorithmic fairness
Nicolas Resch
coding theory, cryptography
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
John van de Wetering
quantum computing, quantum foundations
Ronald de Wolf
quantum computing, complexity theory
Jeroen Zuiddam
computational complexity, quantum information theory, discrete mathematics
Postdocs
Chris Cade
quantum computing
Léo Colisson
quantum cryptography, lattice based cryptography
Yfke Dulek
quantum computing, cryptography
Adrian Haret
computational social choice, knowledge representation
Jan Maly
computational social choice, knowledge representation
Nikhil Mande
computational complexity
Ido Niesen
quantum computing, tensor networks, condensed matter physics
Mehrdad Tahmasbi
quantum cryptography, quantum information theory
PhD Students
Anne Baanen
logic, type theory, formal verification
Yanlin Chen
quantum algorithms
Julian Chingoma
computational social choice, knowledge representation
Arjan Cornelissen
quantum algorithms
Lynn Engelberts
quantum algorithms
Rene Allerstorfer
quantum algorithms
Llorenç Escolà Farràs
quantum cryptography
Marten Folkertsma
quantum algorithms, quantum complexity theory
Dmitry Grinko
quantum algorithms
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
Quinten Marcus Tupker
quantum algorithms
Philip Verduyn Lunel
quantum algorithms, quantum cryptography
Jordi Weggemans
quantum algorithms
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):
- 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
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 |
|---|---|---|---|
| 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 |
|---|---|---|---|
| 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 |