Institutes

Institutions

All TCS researchers listed on this site are employed by one (or more) of the following institutions:

Research Groups

CWI Algorithms and Complexity

Jonas Helsen

Jonas Helsen

Senior Researcher

quantum computing, quantum information theory

Jop Briët

Jop Briët

Senior Researcher

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

Jordi Weggemans

Jordi Weggemans

PhD Student

quantum algorithms

Lynn Engelberts

Lynn Engelberts

PhD Student

quantum algorithms

Marten Folkertsma

Marten Folkertsma

PhD Student

quantum algorithms, quantum complexity theory

Niels Neumann

Niels Neumann

PhD Student

quantum computing, quantum applications

Quinten Marcus Tupker

Quinten Marcus Tupker

PhD Student

quantum algorithms

Ronald de Wolf

Ronald de Wolf

Senior Researcher, Full Professor

quantum computing, complexity theory

Sebastian Zur

Sebastian Zur

PhD Student

quantum query/time complexity, quantum algorithms, quantum cryptography

Stacey Jeffery

Stacey Jeffery

Senior Researcher

quantum algorithms, quantum cryptography

CWI Networks and Optimization

Ben Bals

Ben Bals

PhD Student

Graph algorithms, String algorithms

Daniel Dadush

Daniel Dadush

Senior Researcher

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

Guido Schäfer

Guido Schäfer

Group Leader CWI, Full Professor

algorithmic game theory, combinatorial optimization, algorithms, complexity

Monique Laurent

Monique Laurent

Senior Researcher, Full Professor

combinatorial optimization, semidefinite programming, combinatorics

Solon P. Pissis

Solon P. Pissis

Senior Researcher, Associate Professor

algorithms, data structures, bioinformatics

Yasamin Nazari

Yasamin Nazari

Assistant Professor

Graph algorithms, Dynamic algorithms, Distributed and Parallel algorithms

CWI Computer Security

Frank S. de Boer

Frank S. de Boer

Senior Researcher, Full Professor

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

UvA ILLC

Arie Soeteman

Arie Soeteman

PhD Student

automated reasoning, machine learning

Balder ten Cate

Balder ten Cate

Associate Professor

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

Dmitry Grinko

Dmitry Grinko

PhD Student

quantum algorithms

Gregor Behnke

Gregor Behnke

Assistant Professor

automated planning, boolean satisfiability, artificial intelligence

Guido Schäfer

Guido Schäfer

Group Leader CWI, Full Professor

algorithmic game theory, combinatorial optimization, algorithms, complexity

Haitian Wang

Haitian Wang

PhD Student

Category Theory, Type Theory, Theorem Proving, Functional Programming, Model Checking

Harry Buhrman

Harry Buhrman

Distinguished Research Professor

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

João Sá

João Sá

PhD Student

automated planning

Malvin Gattinger

Malvin Gattinger

Assistant Professor

epistemic planning, modal logic, model checking, functional programming

Māris Ozols

Māris Ozols

Associate Professor

quantum computing, quantum Information, quantum algorithms

Maurice Dekker

Maurice Dekker

PhD Student

multi-agent path finding, epistemic planning

Patrick Lederer

Patrick Lederer

Postdoc

computational social choice, algorithmic game theory

Rebecca Reiffenhäuser

Rebecca Reiffenhäuser

Assistant Professor

algorithmic game theory, algorithmic fairness

Ronald de Haan

Ronald de Haan

Assistant Professor

parameterized complexity theory, knowledge representation & reasoning, computational logic

Ronald de Wolf

Ronald de Wolf

Senior Researcher, Full Professor

quantum computing, complexity theory

Théo Delemazure

Théo Delemazure

Postdoc

computational social choice, artificial intelligence

Ulle Endriss

Ulle Endriss

Full Professor

computational social choice, artificial intelligence

Yanlin Chen

Yanlin Chen

PhD Student

quantum algorithms

Yde Venema

Yde Venema

Full Professor

modal logic, algebra, coalgebra

UvA Informatics Institute

Ailsa Robertson

Ailsa Robertson

PhD student

Quantum Safe Cryptography, Quantum Impact on Societal Security

Christian Schaffner

Christian Schaffner

Full Professor

quantum cryptography, cryptographic protocols, (quantum) information theory

Daan Planken

Daan Planken

PhD student

quantum key distribution, post-quantum cryptography, side-channel analysis

Divya Ravi

Divya Ravi

Assistant Professor

Secure Multi-party Computation, Distributed Computing

Florian Speelman

Florian Speelman

Assistant Professor

quantum information, complexity theory, quantum cryptography, quantum communication

Garazi Muguruza Lasa

Garazi Muguruza Lasa

PhD Student

quantum cryptography

Gina Muuss

Gina Muuss

PhD student

quantum cryptography, cryptography

John van de Wetering

John van de Wetering

Assistant Professor

quantum computing, quantum foundations

Koen Groenland

Koen Groenland

Quantum Innovation Officer

Quantum Technology, Quantum Key Distribution

Llorenç Escolà Farràs

Llorenç Escolà Farràs

PhD Student

quantum cryptography

Manideep Mamindlapally

Manideep Mamindlapally

PhD student

Quantum Algorithms

Martijn Brehm

Martijn Brehm

PhD student

Mingrui Zou

Mingrui Zou

PhD student

Cryptography, Secure Multi-party Computation

Nicolas Resch

Nicolas Resch

Assistant Professor

coding theory, cryptography

Sarah Li

Sarah Li

PhD student

Quantum circuit characterization, synthesis and optimization, Quantum error correction, Fault-tolerant quantum computing

Sebastian Verschoor

Sebastian Verschoor

Postdoc

(Quantum) cryptography, Cryptographic protocols

Steven de Rooij

Steven de Rooij

Docent

theoretical computer science education

UvA Korteweg-de Vries Institute for Mathematics

Galina Pass

Galina Pass

PhD Student

quantum algorithms

Guus Regts

Guus Regts

Associate Professor

combinatorics, graph polynomials, approximate counting

Jeroen Zuiddam

Jeroen Zuiddam

Assistant Professor

computational complexity, quantum information theory, discrete mathematics

Jo Ellis-Monaghan

Jo Ellis-Monaghan

Full Professor

algebraic combinatorics, applied graph theory

Krystal Guo

Krystal Guo

Assistant Professor

algebraic graph theory, quantum computing

Ross J. Kang

Ross J. Kang

Associate Professor

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

VU Theoretical Computer Science

Ali Mehrabi

Ali Mehrabi

Assistant Professor

computational geometry

Alp Adnan Başar

Alp Adnan Başar

PhD Student

Ben Bals

Ben Bals

PhD Student

Graph algorithms, String algorithms

Femke van Raamsdonk

Femke van Raamsdonk

Assistant Professor

logic, rewriting

Jörg Endrullis

Jörg Endrullis

Assistant Professor

term and graph rewriting, automata theory

Klaus von Gleissenthall

Klaus von Gleissenthall

Assistant Professor

programming languages, formal verification, security

Kristina Sojakova

Kristina Sojakova

Assistant Professor

programming languages, security and privacy, formal verification, type theory

Luís Ferreirinha

Luís Ferreirinha

PhD Student

formal verification, security, assembly language, type systems

Parnian Naderi

Parnian Naderi

PhD Student

mathematical logic, proof assistants, formal methods, hardware security

Rajath Rao

Rajath Rao

PhD Student

graph algorithms

Robin Webbers

Robin Webbers

PhD Student

type checking

Sabine Oechsner

Sabine Oechsner

Assistant Professor

secure multiparty computation, cryptography

Tsz Fung Wind Wong

Tsz Fung Wind Wong

PhD Student

Wan Fokkink

Wan Fokkink

Full Professor

concurrency theory, protocol verification, supervisory control, distributed algorithms

Yasamin Nazari

Yasamin Nazari

Assistant Professor

Graph algorithms, Dynamic algorithms, Distributed and Parallel algorithms

VU Bioinformatics

Solon P. Pissis

Solon P. Pissis

Senior Researcher, Associate Professor

algorithms, data structures, bioinformatics

QuSoft

Christian Schaffner

Christian Schaffner

Full Professor

quantum cryptography, cryptographic protocols, (quantum) information theory

Dmitry Grinko

Dmitry Grinko

PhD Student

quantum algorithms

Florian Speelman

Florian Speelman

Assistant Professor

quantum information, complexity theory, quantum cryptography, quantum communication

Galina Pass

Galina Pass

PhD Student

quantum algorithms

Garazi Muguruza Lasa

Garazi Muguruza Lasa

PhD Student

quantum cryptography

Harry Buhrman

Harry Buhrman

Distinguished Research Professor

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

Jeroen Zuiddam

Jeroen Zuiddam

Assistant Professor

computational complexity, quantum information theory, discrete mathematics

John van de Wetering

John van de Wetering

Assistant Professor

quantum computing, quantum foundations

Jonas Helsen

Jonas Helsen

Senior Researcher

quantum computing, quantum information theory

Jop Briët

Jop Briët

Senior Researcher

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

Jordi Weggemans

Jordi Weggemans

PhD Student

quantum algorithms

Llorenç Escolà Farràs

Llorenç Escolà Farràs

PhD Student

quantum cryptography

Lynn Engelberts

Lynn Engelberts

PhD Student

quantum algorithms

Māris Ozols

Māris Ozols

Associate Professor

quantum computing, quantum Information, quantum algorithms

Marten Folkertsma

Marten Folkertsma

PhD Student

quantum algorithms, quantum complexity theory

Niels Neumann

Niels Neumann

PhD Student

quantum computing, quantum applications

Quinten Marcus Tupker

Quinten Marcus Tupker

PhD Student

quantum algorithms

Ronald de Wolf

Ronald de Wolf

Senior Researcher, Full Professor

quantum computing, complexity theory

Sebastian Zur

Sebastian Zur

PhD Student

quantum query/time complexity, quantum algorithms, quantum cryptography

Stacey Jeffery

Stacey Jeffery

Senior Researcher

quantum algorithms, quantum cryptography

Yanlin Chen

Yanlin Chen

PhD Student

quantum algorithms