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.

Here is where to find the list of topics, with a suggested contact inside the team for each of them :
http://www.itp.uni-hannover.de/Gruppen/quinfo/research.php

And here is a simple list of members :
http://www.itp.uni-hannover.de/Gruppen/quinfo/people.php