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.
For more about George, please follow the link below:
George Kaye's personal homepage