If you made any changes in Pure these will be visible here soon.

Personal profile

Biography

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.

Research students

PhD: Pablo Andres-Martinez, Nuiok Dicaire, Jesse Sigal, Nesta van der Schaaf. MScR: Mateusz Kupper.

Research Interests

Mathematical foundations of quantum theory, and its logical and computer science aspects. Methods from category theory, operator algebra, and order theory.

Fingerprint

Dive into the research topics where Chris Heunen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Bennett and Stinespring, Together at Last

    Heunen, C. & Kaarsgaard, R., 28 May 2021, (Accepted/In press) Proceedings of the 18th International Conference on Quantum Physics and Logic (QPL 2021). 15 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Quantum Information Effects

    Heunen, C. & Kaarsgaard, R., 26 Sep 2021, (Accepted/In press) Symposium on Principles of Programming Languages (POPL 2022). 32 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Tensor-restriction categories

    Heunen, C. & Pacaud Lemay, J-S., 9 Jun 2021, In: Theory and Applications of Categories. 37, 21, p. 635-670 37 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
  • Topos quantum theory with short posets

    Harding, J. & Heunen, C., 4 Apr 2021, In: Order. 38, p. 111-125 15 p.

    Research output: Contribution to journalArticle

    Open Access
    File
  • 圏論的量子力学

    Heunen, C. & Vicary, J., 1 Sep 2021, Morikita Publishing. 336 p.

    Research output: Book/ReportBook