Name: George Kaye
Type: User
Company: University of Birmingham
Bio: Computer science PhD student at the University of Birmingham.
Twitter: thegeorgejkaye
Location: Birmingham, United Kingdom
Blog: https://www.georgejkaye.com
George Kaye's Projects
Extended abstract for my submission to ACT2022
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'
Slides for my ACT 2024 talk, 'Fully Compositional Semantics for Digital Circuits'
A GitHub action for typechecking Agda code.
Tools for experimenting with Belnap logic
The web page for the Birmingham theoretical computer science research group
Web app for showing the progress of the temperature blanket
Making life easier with the categorical circuits stuff
A hardware description language based on operational semantics
Translating periodic stream functions into mealy machines
A visualiser for circuits represented as hypergraphs
Extended abstract for the circuits work
Notes on how to apply 'string diagrams for layered explanations' to our circuits framework
App for interacting with the Clearooms API
Tools for managing cookie breaks
The Computer Science Society at the University of Birmingham.
CV
A twitter bot which posts daily updates from the A38 cycle counter
Dark Reader Chrome and Firefox extension
Tool to calculate Delay Repay refunds
Discord bots
Submission to FSCD 2023, 'Rewriting modulo traced comonoid structure'
Slides for my talk at FSCD 2023, 'Rewriting modulo traced comonoid structure'