I’m George, a PhD student at the University of Birmingham, under the supervision of Dan Ghica and Miriam Backens! I am a member of the Theory Group.
My research involves combinatorial diagrammatic languages for monoidal categories using hypergraphs, in order to use them as an operational semantics using graph rewrites.
I also make silly discord bots and train related things.