My research interests are broadly based around theoretical computer science.

My general research program is to use tools from semantics and logic - such as category theory, domain theory, the Geometry of Interaction - to study concrete low-level models of computation such as finite state machines, the von Neumann architecture, and (space-bounded) Turing machines.

I have a particular interest in applying this program to Quantum Computing, and the problems associated with iteration, feedback, and recursion in the quantum setting.

Additional interests include reversible computation and inverse categories, the foundations of category theory, the physical grounding of computation, linear logic, and the Geometry of Interaction.

On an almost entirely unrelated topic, I also work on a particular information-theoretic model of classification from cognitive science. Please see either my papers or computer programs for more details.

I am currently a researcher at the University of York computing department.

Papers : category theory, quantum computing, domain theory, automata, cognitive science, logic

Talks : LICS, MFPS, FountainFest, Bellairs, QICS, Unconvention, GeoCal &c.

Computer Programs : cognitive science and information theory.

Course notes & handouts.

Send me an email

Research Interests