Personal profile
Research interests
Applied category theory, graphical languages, string diagrams
Biography
George is a PhD student in the School of Computer Science, whose interests lie in applied category theory and graphical languages. His main project revolves around developing an operational semantics for digital circuits using monoidal categories, based on earlier work by Ghica and Jung.
Qualifications
- MSci Computer Science, University of Birmingham (First)
Fingerprint
Dive into the research topics where George Kaye is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles