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.
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.
University: g.j.kaye at cs.bham.ac.uk
Personal: george at georgejkaye.com
Office 218 (Desk H), School of Computer Science, University of Birmingham
Pictures of me
A series of entertaining escapades
I take pictures of station signs