Led by Abramsky, we pioneered a new approach to developing high-level methods and new mathematical and logical tools for quantum information and computation. An international community is forming, with our group playing a leading role - Abramsky and Coecke have given over 100 invited presentations in this area. Key achievements include the award of Abramsky's Senior Research Fellowship to work on High Level Methods in quantum computation. Coecke was awarded an EPSRC Advanced Research Fellowship and Duncan an EPSRC PDRF, both to work in quantum computation. We are coordinating (2007-9) an EU STREP within FP6-FET-Open, entitled Foundational Structures for Quantum Information and Computation, involving the leading quantum information and computation groups in Europe. This was ranked 2nd out of the 489 proposals across all subjects submitted to the FET-Open call.
