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.
I also used to 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 my CV.
If you find a mistake, make an issue and I'll try to sort it out. Alternatively, you can figure out how my static site generator works and fix it yourself with a pull request!
I've made some guides to impart the admin knowledge I've gained from four years of doing things in the Birmingham theory group to help the next generation.
Get to know other PhD students from my Birmingham days.