Ali Mehrabi

Assistant Professor

computational geometry

Balder ten Cate

Associate Professor

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

Christian Schaffner

Full Professor

quantum cryptography, cryptographic protocols, (quantum) information theory

Daniel Dadush

Senior Researcher

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

Divya Ravi

Assistant Professor

Secure Multi-party Computation, Distributed Computing

Femke van Raamsdonk

Assistant Professor

logic, rewriting

Florian Speelman

Assistant Professor

quantum information, complexity theory, quantum cryptography, quantum communication

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

Gregor Behnke

Assistant Professor

automated planning, boolean satisfiability, artificial intelligence

Guido Schäfer

Group Leader CWI, Full Professor

algorithmic game theory, combinatorial optimization, algorithms, complexity

Guus Regts

Associate Professor

combinatorics, graph polynomials, approximate counting

Harry Buhrman

Distinguished Research Professor

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

Jeroen Zuiddam

Assistant Professor

computational complexity, quantum information theory, discrete mathematics

Jo Ellis-Monaghan

Full Professor

algebraic combinatorics, applied graph theory

John van de Wetering

Assistant Professor

quantum computing, quantum foundations

Jonas Helsen

Senior Researcher

quantum computing, quantum information theory

Jop Briët

Senior Researcher

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

Jörg Endrullis

Assistant Professor

term and graph rewriting, automata theory

Klaus von Gleissenthall

Assistant Professor

programming languages, formal verification, security

Koen Groenland

Quantum Innovation Officer

Quantum Technology, Quantum Key Distribution

Kristina Sojakova

Assistant Professor

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

Krystal Guo

Assistant Professor

algebraic graph theory, quantum computing

Malvin Gattinger

Assistant Professor

epistemic planning, modal logic, model checking, functional programming

Māris Ozols

Associate Professor

quantum computing, quantum Information, quantum algorithms

Monique Laurent

Senior Researcher, Full Professor

combinatorial optimization, semidefinite programming, combinatorics

Nicolas Resch

Assistant Professor

coding theory, cryptography

Rebecca Reiffenhäuser

Assistant Professor

algorithmic game theory, algorithmic fairness

Ronald de Haan

Assistant Professor

parameterized complexity theory, knowledge representation & reasoning, computational logic

Ronald de Wolf

Senior Researcher, Full Professor

quantum computing, complexity theory

Ross J. Kang

Associate Professor

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

Sabine Oechsner

Assistant Professor

secure multiparty computation, cryptography

Solon P. Pissis

Senior Researcher, Associate Professor

algorithms, data structures, bioinformatics

Stacey Jeffery

Senior Researcher

quantum algorithms, quantum cryptography

Steven de Rooij

Docent

theoretical computer science education

Ulle Endriss

Full Professor

computational social choice, artificial intelligence

Wan Fokkink

Full Professor

concurrency theory, protocol verification, supervisory control, distributed algorithms

Yasamin Nazari

Assistant Professor

Graph algorithms, Dynamic algorithms, Distributed and Parallel algorithms

Yde Venema

Full Professor

modal logic, algebra, coalgebra

Patrick Lederer

Postdoc

computational social choice, algorithmic game theory

Sebastian Verschoor

Postdoc

(Quantum) cryptography, Cryptographic protocols

Théo Delemazure

Postdoc

computational social choice, artificial intelligence

Ailsa Robertson

PhD student

Quantum Safe Cryptography, Quantum Impact on Societal Security

Alp Adnan Başar

PhD Student

Arie Soeteman

PhD Student

automated reasoning, machine learning

Ben Bals

PhD Student

Graph algorithms, String algorithms

Daan Planken

PhD student

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

Dmitry Grinko

PhD Student

quantum algorithms

Galina Pass

PhD Student

quantum algorithms

Garazi Muguruza Lasa

PhD Student

quantum cryptography

Gina Muuss

PhD student

quantum cryptography, cryptography

Haitian Wang

PhD Student

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

João Sá

PhD Student

automated planning

Jordi Weggemans

PhD Student

quantum algorithms

Llorenç Escolà Farràs

PhD Student

quantum cryptography

Luís Ferreirinha

PhD Student

formal verification, security, assembly language, type systems

Lynn Engelberts

PhD Student

quantum algorithms

Manideep Mamindlapally

PhD student

Quantum Algorithms

Marten Folkertsma

PhD Student

quantum algorithms, quantum complexity theory

Martijn Brehm

PhD student

Maurice Dekker

PhD Student

multi-agent path finding, epistemic planning

Mingrui Zou

PhD student

Cryptography, Secure Multi-party Computation

Niels Neumann

PhD Student

quantum computing, quantum applications

Parnian Naderi

PhD Student

mathematical logic, proof assistants, formal methods, hardware security

Quinten Marcus Tupker

PhD Student

quantum algorithms

Rajath Rao

PhD Student

graph algorithms

Robin Webbers

PhD Student

type checking

Sarah Li

PhD student

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

Sebastian Zur

PhD Student

quantum query/time complexity, quantum algorithms, quantum cryptography

Tsz Fung Wind Wong

PhD Student

Yanlin Chen

PhD Student

quantum algorithms