Research interests: Category Theory and Quantum Computing
Currently working on a project which uses monads and monad algebras to give a formalisation of the concept of partial evaluations. The project relates on one hand to Probability and Martingales, and on the other hand, via the Bar Construction, to Higher Categorical structures.
Other research topics include the application of sheaf theoretic machinery to the study of contextuality in Quantum Computing, and the classification of entangled states according to their degree of contextuality.