Study one of the classic non-Euclidean geometries, two-dimensional hyperbolic space, using a simple model. Suitable for first year MATH1116 students.

The moment when research mathematicians need to pay attention to progress in automated theorem proving is coming closer and closer!

This project aims to give a basic introduction to String Theory, and the mathematical techniques required, by working through (part of) the undergraduate textbook "A First Course in String Theory" by Barton Zwiebach (Cambridge University Press, 2004).

Our project is to use functional analysis, convex analysis and optimization to introduce and analyze various regularization methods with suitable penalty terms, including the sparsity promoting functions and the total variational function. We also seek applications in imaging and industry.

A two dimensional Riemannian manifold is an abstract surface sitting nowhere in particular, but which somehow has the structures imposed on it that a surface gets by sitting in Euclidean space, such as tangent spaces, a metric etc.

The aim of the project is to learn about equivariant stable homotopy theory, and go through as much of the Hill, Hopkins and Ravenel proof as possible.

Lindbladians and related master equations in quantum mechanics

Magnetic equilibrium and particle orbit modelling of the OpenStar Dipole

The LASSO and penalized likelihood methods have become an extremely hot topic in statistics over the past decade, as they offer a computationally efficient method of variable selection particularly in high dimensional situations.

operator theoretic aspects of quantum field theory
computational problems in vector-valued modular forms
tensor categories and functorial conformal field theories

Population genetics deals with the evolution of genomes as a result of the drift of point mutations throughout a population over long timescales.

Mimetic and stable numerical methods for nonlinear shallow water equations

Minimal surfaces are surfaces which are critical points of the area functional, are are characterised by the vanishing of their mean curvature.

Model Categories

A model category is a category with some extra structure which makes it possible to do homotopy theory.