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.

For a gentle introduction to the ideas behind my work, see "The state of quantum computer science".

Here is a short CV.

- FoSSaCS 2019
- MFPS 2017
- QPL 2017
- IQSA 2017
- FoSSaCS 2016
- QPL 2016 (chair)
- QI 2016
- SLPCS 2016
- QPL 2015 (chair)
- QPL 2014

- Combining Viewpoints in Quantum Theory 2018
- Categories, Logic, and Physics, Scotland, biannually 2016-present
- Quantum Physics and Logic 2016
- Quantum Physics and Logic 2015
- The categorical flow of information in quantum physics and linguistics 2010

- DOD MURI Semantics, Formal Reasoning, and Tools for Quantum Programming 2016-2019
- EPSRC Early Career Fellowship Combining Viewpoints in Quantum Theory 2013-2018
- NWO Rubicon Quantum Theory and Categorical Logic, 2009-2011