George Kaye

School of Computer Science
Research Student

Contact details

Email: g.j.kaye@pgr.bham.ac.uk
Twitter: @thegeorgejkaye

Address: School of Computer Science
University of Birmingham
Edgbaston
Birmingham
B15 2TT

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

Qualifications

MSci Computer Science, University of Birmingham

Teaching

Theories of Computation
Mathematical and Logical Foundations for Computer Scienc
Compilers and Languages
Mathematical Foundations for Computer Science

Doctoral research

PhD title: A Fully Compositional Theory of Sequential Digital Circuits
Supervisors: Professor Dan Ghica and Dr Miriam Backens

Research

Applied category theory
Graphical languages
String diagrams

Publications

Recent publications

Conference contribution

Ghica, DR & Kaye, G 2023, Rewriting Modulo Traced Comonoid Structure. in M Gaboardi & F van Raamsdonk (eds), 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)., 14, Leibniz International Proceedings in Informatics, LIPIcs, vol. 260, Schloss Dagstuhl, 8th International Conference on Formal Structures for Computation and Deduction , Rome, Italy, 3/07/23. https://doi.org/10.4230/LIPIcs.FSCD.2023.14