me George Kaye


A picture of me, with the Forth Bridge in the background

A picture of me, with the Forth Bridge in the background

Hello! I’m George, a PhD student researcher at the University of Birmingham, under the supervision of Dan Ghica and Miriam Backens. I am a member of the University of Birmingham Theory Group, and organise the research group's weekly seminar.

Currently I also work part time at the Huawei Edinburgh Programming Languages Lab.

About me

My primary research interests are in graphical calculi for compositional systems and the lambda calculus using monoidal categories, and reasoning about these structures diagrammatically using string diagrams and graph rewriting. Currently I am working on developing the categorical semantics for digital circuits with delay and feedback first presented by Ghica and Jung using symmetric traced monoidal categories. This gives us a graphical calculus with which we can reason about circuits syntactically.

When I'm not researching, I play the piano and go on adventures usually involving trains, canals or both. I occasionally take photos of pretty things and put them on Instagram. If you want something less pretty, here are some pictures of me! I also use Twitter.

You might want to read mv CV.

Contact me


Pictures Pictures of me

Adventures in Academia A series of entertaining escapades

Railway stations I take pictures of station signs

Train simulator scenarios


If you find a mistake, make an issue and I'll try to sort it out. Alternatively, you can fix it yourself with a pull request!