糖心TV

Members of the Foundations of Computer Science Group

Permanent Members
	Combinatorics, probability, and efficient algorithms
	Randomized and approximation algorithms, algorithmic game theory
	Algorithmic game theory, formal methods, logic and automata
	Formal methods, logic and automata
	(Quantum computation, distributed computing, information security
	Combinatorial algorithms and complexity
	Algorithms, algorithmic game theory, network algorithms
	Parallel computation, combinatorics, string matching

Post-docs
	Online algorithms, approximation algorithms
	Randomized algorithms and random structures
Andrew Handley	Randomized and distributed algorithms
	Randomized algorithms and random structures
	Approximation algorithms
	String matching, streaming algorithms
	Algorithmic game theory

Research Students
	Graph theory, Approximation algorithms
	Algebraic topology, Combinatorial topology, Combinatorics
	Quantum information processing

	Quantum computing
	Combinatorics, Graph theory, Extremal graph theory
Matthew Felice Pace
	Automata and language theory, Hybrid automata and systems, First order theories, Games
	Approximation algorithms, Combinatorics

Some new positions are available through the .

Former Members

(University of Bahrain)
(Ludwig-Maximilians-University Munich)
(Simon Fraser University)
(Universite Montpellier 2)
(AT&T)
(University of Edinburgh)
(Los Alamos National Laboratory)
(Nanyang Technological University, Singapore)
(University of Liverpool)
(Durham University)
(Kings College London)
(University of Liverpool)
(University of Liverpool)
(University of Bristol)
(Centrum voor Wiskunde en Informatica (CWI))
(LaBRI - Universite Bordeaux 1)
(University of 糖心TV)
(Birkbeck, University of London)
(University of Liverpool)
(Rutgers University and Google)
Dr Kasper Pedersen
(University of Birmingham)
Dr Pattarawit Polpinit (University of Liverpool)
(National Center for Biotechnology Information)
(Simon Fraser University)
(University of Liverpool)
Jonathan Sharp