EPSRC Research Fellow
Lecturer at St Hugh's College
University of Oxford
Department of Computer Science, Room 213
Wolfson Building, Parks Road, Oxford OX1 3QD
heunen(at)cs.ox.ac.uk
I teach the undergraduate course Logic and Proof and the graduate course Categorical Quantum Mechanics, as well as tutor at St Hugh's College, and supervise PhD students Hugo Nava Kopp, Vaia Patta, Oscar Cunningham, and Sean Tull.
I work in quantum computer science, 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.
For a very gentle introduction to the ideas behind my work, see "The state of quantum computer science".
Type:  Book Journal Proceedings Chapter Other 
Year: 

Total: 