We use cookies to ensure that we give you the best experience on our website. You can change your cookie settings at any time. Otherwise, we'll assume you're OK to continue.

Durham University

Email and Telephone Directory

Staff Profile

Dr Lawrence Mitchell

Assistant Professor in the Department of Computer Science

(email at


I am an Assistant Professor in the Department of Computer Science at Durham University. My research is in high performance computing and computational mathematics. Much of my recent focus has been in the development of compilers and software abstractions for the development of numerical models implemented using the finite element method. This research is concretely realised in the open source Firedrake project. I am particularly interested in preconditioning techniques for challenging problems in computational and atmospheric fluid dynamics.

Research interests

The focus of my work is how to address the increasingly sophisticated needs of computational science practitioners by changing the way we think about numerical models. I develop computational mathematical abstractions that enable the automation of efficient implementations of complex, multiscale, numerical methods on modern supercomputers.

Compilers for numerical software

In the Firedrake project, I work on capturing the mathematical abstractions in numerical models, blending symbolic reasoning and numerical computation. This enables an approach to numerical software development that leverages symbolic information to synthesise high performance, parallel implementations of mathematical algorithms. This is possible through careful design of software abstractions, and development of domain-specific optimising compilers.

Fast solvers for geophysical flows

A large part of sophisticated numerical model development is in the design of robust linear and nonlinear solvers for the equations of interest. I have a particular interest in fast solvers for structure-preserving discretisations in atmospheric fluid dynamics. With Eike Müller, I developed a mesh-, and parameter- independent multigrid scheme for the mixed finite element discretisation proposed for the UK "GungHo" Dynamical Core project. We are presently working on multilevel schemes for the hybridised formulation of these equations, which should permit faster solvers. This latter work is in close collaboration with Colin Cotter, and Thomas Gibson.

Block preconditioners: software and numerics

For many challenging problems, the best performing preconditioning schemes exploit block factorisations and the development of PDE-specific approximations to the block inverses. With Rob Kirby, I developed a mechanism in Firedrake for simple user-defined preconditioners, significantly reducing the development effort necessary to employ optimal solvers in numerical models.

For block saddle-point systems, I am interested in augmented Lagrangian approaches, and am working on parameter robust methods for the Navier-Stokes equations with Patrick Farrell and Florian Wechsung. Having demonstrated the first method robust for three-dimensions, we are now looking at extending the analysis to exactly divergence-free discretisations.

Research Groups

Department of Computer Science

  • Innovative Computing

Selected Publications

Authored book

Journal Article

Working Paper

Show all publications