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 (Affiliate) | Algorithms, databases, data streaming, big data, data science |
| Artur Czumaj (Head) | 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, and quantum computing |
| Marcin Jurdziński | Algorithms, games, automata, logic |
| Dan Král' | Graph theory, discrete mathematics, combinatorics |
| Ranko Lazic (Deputy) | 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 |
Research Fellows |
|
| Jayesh Choudhari | Algorithms, social networks |
| Nathanaël Fijalkow | Complexity (algorithms), data structures, theory of programming languages, logic, algebra, databases, control theory |
| Alexander Kozachinskiy | Algorithms, complexity theory, information theory |
| Zhenjian Lu | Computational complexity |
| Sathyawageeswar Subramanian | Quantum algorithms and complexity theory |
Research Students |
|
| Sam Coy | Algorithms |
| Melchior Chui | Algorithms |
| Marcel de Sena Dall’Angol | Quantum algorithms and coding theory |
| Jacques Dark | Streaming 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 |
| Peter Kiss | Algorithms |
| Bruno Pasqualotto Cavalar | Computational complexity and combinatorics |
| Arturo Merino | Algorithms and discrete mathematics |
| Namrata | Algorithms, complexity and discrete mathematics |
| Mary Scott | Differential privacy |
| Henry Sinclair-Banks | Automata, Complexity, and Logic |
| 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
- Prof Petra Berenbrink (University of Hamburg)
- Dr Vincent Berry (Universite Montpellier 2)
- Dr Rajesh Chitnis (University of Birmingham)
- Prof Amin Coja-Oghlan (Goethe-Universität, Frankfurt am Main)
- Dr Mary Cryan (University of Edinburgh)
- Dr Peter Davies (IST Austria)
- Dr Hristo Djidjev (Los Alamos National Laboratory)
- Prof Edith Elkind (University of Oxford)
- Dr Alina Ene (Boston University)
- Dr 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 Andrzej Grzesik (Jagiellonian University)
- Dr Jan Hladký (Academy of Sciences of the Czech Republic)
- Dr Ping Hu (School of Mathematics, Sun Yat-sen University, Guangzhou, China)
- Dr Tamás Hubai
- Dr Markus Jalsenius (Telia Company)
- Dr Steven Kelk (Maastricht University)
- Dr Dominik Kempa (Stony Brook University)
- Dr Ralf Klasing (LaBRI - Universite Bordeaux 1)
- Dr 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 (MPI for Software Systems in Saarbrücken)
- Prof Muthu Muthukrishnan (Rutgers University)
- Prof Rajagopal Nagarajan (Middlesex University, London)
- Dr Péter Pál Pach (Budapest University of Technology and Economics)
- Dr Angélica Pachón Pinzón
- 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 (Khon Kaen University)
- Dr Teresa Przytycka (National Center for Biotechnology Information)
- Dr David Purser (Max Planck Institute for Software Systems (MPI-SWS))
- Dr Rajiv Raman (IIIT-Delhi India)
- Dr Steven Ramsay (University of Bristol)
- 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)
- Prof 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 Alexander Tiskin (St. Petersburg State University)
- Dr Ashutosh Trivedi (University of Colorado Boulder)
- Dr Patrick Totzke (University of Liverpool)
- Dr Jan Volec (Department of Mathematics, Czech Technical University in Prague)
- Dr Justin Ward (Queen Mary University of London)
- Dr Christine Zarges (Aberystwyth University)
- Dr Stanislav Živný (University of Oxford)