George Kaye

George Kaye

School of Computer Science
Research Student

Contact details

Email
g.j.kaye@pgr.bham.ac.uk
Twitter
Address
School of Computer Science
University 麻豆精选
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:

Qualifications

  • MSci Computer Science, University 麻豆精选

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, . 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.