Chris Heunen

View Scopus Profile

Chris Heunen

DR

 https://orcid.org/0000-0001-7393-2640

Accepting PhD Students

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
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • Compact inverse categories

    Heunen, C. & Cockett, R., 4 Aug 2023, Samson Abramsky on Logic and Structure in Computer Science and Beyond . Springer, Vol. 25. p. 813-832 (Outstanding Contributions to Logic).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • Duoidally enriched Freyd categories

    Heunen, C. & Sigal, J., 8 Mar 2023, Proceedings of the 20th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2023). Glück, R., Santocanale, L. & Winter, M. (eds.). Springer, p. 241-257 16 p. (Lecture Notes in Computer Science; vol. 13896, no. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Sheaf representation of monoidal categories

    Heunen, C. & Soares Barbosa, R., 1 Mar 2023, In: Advances in Mathematics. 416, 1 March 2023, 53 p., 108900.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File

  • The CBH characterisation theorem beyond algebraic quantum theory

    Heunen, C. & Kissinger, A., 3 Jun 2022, In: Information and Computation. 285, Part B, 20 p., 104828.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File

  • Universal Properties of Partial Quantum Maps

    Andres Martinez, P., Heunen, C. & Kaarsgaard, R., 1 Jun 2022, (Accepted/In press) Proceedings of the 19th International Conference on Quantum Physics and Logic. 17 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
View all 81 research outputs