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 gentle introduction to the ideas behind my work, see
of quantum computer science".
Proceedings of the 13th International Conference on Quantum Physics and Logic
Can a quantum state over time resemble a quantum state at a single time?
Can quantum theory be characterized in terms of information-theoretic constraints?
Semantics for probablistic programming: higher-order functions, continuous distributions, soft constraints
Proceedings of the 12th International Workshop on Quantum Physics and Logic
Book review: Foundations of relational realism
Studies in History and Philosophy of Modern
Physics 99-100, 2014
Quantum physics and linguistics: a compositional, diagrammatic discourse
Oxford University Press, 2013
Compactly accessible categories and quantum key distribution
Accurate silhouettes -- do polyhedral models suffice?
GMAG'03 proceedings, 69-74, IEEE, 2003