![Chris Heunen](https://icfp24.sigplan.org/getProfileImage/chrisheunen/b7ed8d74-aaef-424b-90d5-85af772f07a0/small.jpg?1711584778000)
Registered user since Wed 8 Nov 2023
Name:Chris Heunen
Bio:
I work in quantum informatics, more precisely on the mathematical foundations of physics, especially quantum mechanics, and its logical aspects. My weapons of choice are category theory, functional analysis, and order theory; specifically, monoidal categories, operator algebras, and orthomodular lattices. I suppose you could say that my ultimate goal is to really understand the category of Hilbert spaces, in particular categorical aspects of a choice of basis.
Country:United Kingdom
Affiliation:University of Edinburgh
Personal website: http://homepages.inf.ed.ac.uk/cheunen/
Contributions
Using general profile