##### Alexandre Borovik

Professor of Pure Mathematics.

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

##### Gareth Jones

Research Fellow.

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

##### 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

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

Professor of Pure Mathematics.

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

##### 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.

##### 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

Professor of Pure Mathematics.

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