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 |
|
| Ping Hu | Extremal combinatorics, probabilistic methods |
| Tamás Hubai | Graph limits |
| Alexander Kozachinskiy | Algorithms, complexity theory, information theory |
| 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 |
| Alex Dixon | Logics, Automata and Games, with a current focus on Petri Nets and variations on Vector Addition Systems |
| Chris Hickey | Verification of data analysis algorithms |
| Arturo Merino | Algorithms and discrete mathematics |
| David Purser | Automatic verification of differential privacy |
| Mary Scott | Differential privacy |
| 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
- Dr Anna Adamaszek (SimCorp, Denmark)
- Dr Michał Adamaszek (MOSEK, Denmark)
- Dr Hesham Al-Ammal (University of Bahrain)
- Dr Ebrahim Ardeshir-Larijani (Institute for Research in Fundamental Sciences (IPM), Iran)
- Dr Haris Aziz (NICTA Sydney)
- Dr Golnaz Badkobeh (Goldsmiths, University of London)
- Dr Rafael da Ponte Barbosa
- Dr Petra Berenbrink (University of Hamburg)
- Dr Vincent Berry (Universite Montpellier 2)
- Rajesh Chitnis (University of Birmingham)
- Prof Amin Coja-Oghlan (Goethe-Universität, Frankfurt am Main)
- Dr Mary Cryan (University of Edinburgh)
- Peter Davies (IST Austria)
- Dr Hristo Djidjev (Los Alamos National Laboratory)
- Dr Edith Elkind (University of Oxford)
- Dr Alina Ene (Boston University)
- Michail Fasoulakis (ICS-FORTH)
- Dr John Fearnley (University of Liverpool)
- Dr Tom Friedetzky (Durham University)
- Prof Alan Gibbons (Kings College London)
- Prof Leslie Ann Goldberg (University of Oxford)
- Prof Paul Goldberg (University of Oxford)
- Dr Jan Hladký (Academy of Sciences of the Czech Republic)
- Dr Markus Jalsenius
- Dr Steven Kelk (Maastricht University)
- Dominik Kempa (UC Berkeley)
- Dr Ralf Klasing (LaBRI - Universite Bordeaux 1)
- Christian Konrad (University of Bristol)
- Dr Peter Krusche (Illumina)
- Dr Oded Lachish (Birkbeck, University of London)
- Dr Anita Liebenau (Monash University)
- Dr Lukáš Mach (Corinth)
- Dr Russell Martin (University of Liverpool)
- Dr Filip Mazowiecki (University of Bordeaux)
- Prof Muthu Muthukrishnan (Rutgers University)
- Prof Rajagopal Nagarajan (Middlesex University, London)
- Dr Angélica Pachón Pinzón (University of Torino)
- Dr Nick Palmer (Forresters)
- Dr. Nick Papanikolaou (European Patent Office)
- Dr Kasper Pedersen
- Dr Diana Piguet (Academy of Sciences of the Czech Republic)
- Dr Marcin Pilipczuk (University of Warsaw)
- Dr Pattarawit Polpinit (University of Liverpool)
- Dr Teresa Przytycka (National Center for Biotechnology Information)
- Dr Rajiv Raman (IIIT-Delhi India)
- Prof Harry Räcke (TU München)
- Dr Caroline Rogers
- Dr Michał Rutkowski (Yammer)
- Dr Benjamin Sach (Alan Turing Institute)
- Prof Cenk Sahinalp (Center for Cancer Research, National Cancer Institute, USA)
- Dr Rahul Savani (University of Liverpool)
- Chintan Shah (TU München)
- Jonathan Sharp
- Dr Troels Bjerre Sørensen (IT-University of Copenhagen)
- Dr Maxim Sviridenko (Yahoo Research)
- Dr Ashutosh Trivedi (University of Colorado Boulder)
- Dr Patrick Totzke (University of Liverpool)
- Dr Justin Ward (Queen Mary University of London)
- Dr Christine Zarges (Aberystwyth University)
- Dr Stanislav Živný (University of Oxford)