Skip to main content Skip to navigation

Department of Computer Science

FoCS People

Faculty
Sayan Bhattacharya Dynamic graph algorithms, data structures, online algorithms, streaming algorithms, and algorithmic game theory
Dmitry Chistikov Automata and formal languages, verification, discrete mathematics
Graham Cormode Algorithms, databases, data streaming, big data, data science
Artur Czumaj Randomized and approximation algorithms, algorithmic game theory
Charilaos Efthymiou Intersection of theory of algorithms, discrete mathematics, and statistical physics
Matthias Englert Online algorithms, approximation algorithms
Tom Gur Complexity, algorithms, cryptography, coding theory, quantum computing
Marcin Jurdziński Algorithms, games, automata, logic
Dan Král' Graph theory, discrete mathematics, combinatorics
Ranko Lazic Formal verification, logic and automata
Torsten Mütze Graph theory, combinatorics, discrete algorithms, and their applications to real-world problems
Igor Carboni Oliveira Computational complexity theory and its connections to algorithms, combinatorics, and mathematical logic
Mike Paterson Combinatorial algorithms and complexity
Ramanujan Sridharan Algorithms and complexity, fixed-parameter and approximation algorithms with a focus on graph and constraint satisfaction problems
Alex Tiskin Parallel computation, combinatorics, string matching

Research Fellows
Rajesh Chitnis Fine-grained algorithms, streaming algorithms, algorithmic graph theory
Peter Davies Distributed algorithms
Ping Hu Extremal combinatorics, probabilistic methods
Tamás Hubai Graph limits
Dominik Kempa String algorithms, sublinear algorithms
Steven Ramsay Logic, semantics and lambda calculus, in connection with algorithms for verifications

Research Students
Sam Coy Algorithms
Jacques Dark Streaming algorithms
Marcel de Sena Dall’Angol Quantum algorithms
Charlie Dickens Summaries and randomised algorithms for fundamental matrix computations and related problems
Chris Hickey Verification of data analysis algorithms
Arturo Merino Algorithms and discrete mathematics
David Purser Automatic verification of differential privacy
Mary Scott Algorithms
Thejaswini K S Automata and Algorithmic Game Theory

Some new positions are available through the Centre for Discrete Mathematics and its Applications (DIMAP).

Former Members