If you made any changes in Pure these will be visible here soon.

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