## Dr Paul Shafer

- Type
- Supervisor

mathematical logic, computability theory, reverse mathematics.

Skip to main content
University links
Close quicklinks
Search
Destination
All
Projects
Funding
Supervisors
Research areas
# You searched for

## PhD opportunities search form

Select type
All
Projects
Funding
Supervisors
Research areas
Search term
Query
## Search results list

## Dr Paul Shafer

## Dr Alexandr Buryak

## Dr Leonid Bogachev

## Dr Gerasim Kokarev

## Dr Arief Gusnanto

## Dr Vincenzo Mantova

## Dr Jan Palczewski

## Dr Rudolf Tange

## Professor John Truss

## Professor Grant Lythe

## Dr Jochen Voss

## Dr Jitse Niesen

## Dr Oleg Chalykh

## Dr Jonathan Ward

## Dr Richard Mann

## Professor Karin Baur

## Dr Alison Parker

## Dr Eleonore Faber

## Dr Steve Fitzgerald

## Dr Andrew Brooke-Taylor

- For staff
- For Staff
- Services A-Z
- Student Education Service

- For students
- Minerva
- Mobile apps
- For Students

Showing 1 - 20 of 65 results

- Type
- Supervisor

mathematical logic, computability theory, reverse mathematics.

- Type
- Supervisor

Mathematical physics, algebraic geometry, topology, combinatorics.

- Type
- Supervisor

probability, statistical physics, statistics.

- Type
- Supervisor

spectral geometry, extremal eigenvalue problems, harmonic maps, moduli spaces.

- Type
- Supervisor

- Type
- Supervisor

- Type
- Supervisor

stochastic control of Markov processes, optimal stopping, numerical methods, stochastic modeling and optimisation in energy, financial portfolio optimisation.

- Type
- Supervisor

lie theory in positive characteristic, representation theory, invariant theory, algebraic geometry, ring theory.

- Type
- Supervisor

Mathematical logic, infinite permutation groups, homogeneous structures and model theory.

- Type
- Supervisor

mathematical immunology, stochastic computational models.

- Type
- Supervisor

statistical computing, stochastic processes, probability, applications.

- Type
- Supervisor

numerical analysis, dynamical systems.

- Type
- Supervisor

integrable systems, representation theory, mathematical physics, special functions.

- Type
- Supervisor

complex systems, nonlinear dynamics, statistical mechanics, networks and graph theory, collective human behaviour.

- Type
- Supervisor

collective behaviour, collective intelligence, bayesian inference, choice models, social interactions, movement ecology, behavioural ecology, evolution.

- Type
- Supervisor

algebra, representation theory, cluster algebras, cluster categories, combinatorics, Lie algebras.

- Type
- Supervisor

diagram algebras, Schur algebras, cohomology, representation theory, algebraic groups.

- Type
- Supervisor

(noncommutative) algebraic geometry, commutative algebra, representation theory, homological algebra, singularity theory.

- Type
- Supervisor

crystal defects, dislocations, elasticity, stochastic differential equations.

- Type
- Supervisor

infinity, set theory, large cardinal axioms, forcing, accessible categories, locally presentable categories.