The QI-Laboratory runs research in the foundations of quantum information science (the theories of quantum measurement and entanglement, design and analysis of quantum cryptographic protocols, atoms dynamics in optical dipole trap, etc.), applications of quantum theory to modeling quantum interference phenomena in multilevel atoms interacting with optical and magnetic fields (dark resonance spectroscopy), and exploring applications of laser coherent control of molecular chiral states.
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.