Research output per year
Research output per year
PROF
Accepting PhD Students
Chris Heunen obtained MSc degrees in both Mathematics and Computer Science, and went on to obtain a PhD at the Radboud University Nijmegen in the Netherlands in 2009. He subsequently became a visiting researcher at to the California institute of Technology and a Research Fellow at the department of Computer Science in Oxford, where he held a Junior Research Fellowship at Linacre College. He has been awarded the 2012 Birkhoff-von Neumann prize by the International Quantum Structures Association. In 2013 he obtained an EPSRC Early Career Fellowship, and in 2014 a Lectureship at St Hugh’s College in Oxford. He joined the Laboratory for Foundations of Computer Science of the School of Informatics at the University of Edinburgh in October 2015.
PhD: Pablo Andres-Martinez, Nuiok Dicaire, Jesse Sigal, Nesta van der Schaaf. MScR: Mateusz Kupper.
Mathematical foundations of quantum theory, and its logical and computer science aspects. Methods from category theory, operator algebra, and order theory.
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Engineering and Physical Sciences Research Council
1/01/24 → 31/12/26
Project: Research
Heunen, C. & Grosser, T.
Engineering and Physical Sciences Research Council
1/04/23 → 31/03/26
Project: Research
Kashefi, E., Heunen, C., Arapinis, M., Wallden, P. & Garcia-Patron Sanchez, R.
1/04/23 → 31/03/26
Project: Research
Engineering and Physical Sciences Research Council
1/09/22 → 31/05/25
Project: Research