Staff and research interests

Alexandre Borovik
Alexandre Borovik

Professor of Pure Mathematics.

Group theory in its various aspects, combinatorics, model theory. Non-deterministic and probabilistic methods in discrete mathematics.

Profile image
Gareth Jones

Research Fellow.

Model theory. In particular, o-minimality and its interactions with number theory and analytic geometry.

Profile image
Mark Kambites

Reader in Pure Mathematics.

Combinatorial and geometric group theory, semigroup theory, formal languages and automata, computational complexity, parallel processing, cryptography and interactions between the above.

Jeff Paris
Jeff Paris

Professor of Mathematics.

Inductive Logic, Uncertain Reasoning and Probability Logic, with especial reference to explicating and investigating principles of rationality or common sense.

Mike Prest
Mike Prest

Professor of Pure Mathematics.

Modules, representations of algebras, model theory, geometric representation theory, model theory in categories, non-commutative geometry.

Profile image
Harold Simmons

Honorary Research Fellow.

Mathematical logic: decisions problems, model theory, lattice theory, point-free (and point-sensitive) topology, category theory, ring theory and sheaf representations, recursion theory, -calculus, and proof theory.

Profile image
Marcus Tressl

Lecturer In Pure Mathematics.

Model theory of ordered structures, mainly real closed fields and o-minimal structures. Model theory of commutative rings, in connection with real algebraic geometry. Also interested in differential algebra and its links to model theory.

Alex Wilkie
Alex Wilkie

Professor of Pure Mathematics.

Model theory, especially that of o-minimal theories; analytic and subanalytic sets (both real and complex).

▲ Up to the top