Mr Jonathan Gorard

Overview

I'm a mathematician by training, but I'm interested very broadly in the interface between abstract computation and the foundations of physics and mathematics. In particular, much of my present research focuses on the application of category theory, topos theory and certain aspects of theoretical computer science to a diverse range of problems, including algorithmic models for the structure of spacetime, compositional foundations for quantum computation, higher-order type theories and the automation of mathematical reasoning, algebraic and compositional semantics for graph rewriting, Etc.

I run a small, multi-disiplinary and geographically-distributed research group working on applying the abstract principles of compositionality and functoriality to a variety of topics in science and technology. My published research comprises topics ranging from general relativity and quantum information theory to computational complexity theory and homotopy type theory, and has previously been showcased in publications including Forbes magazine, Wired magazine and Scientific American.