The Mathematical Foundations group in the School of Computer Science, University of Birmingham, studies the interaction between computation and mathematical foundations. The group has a high level of expertise in logic, category theory, topology and toposes and much of its work investigates those mathematical areas in their own right and applies them to disciplines other than computer science. A new direction is in applications of topos theory to quantum foundations.