Hello! I’m George, a PhD student researcher at the University of Birmingham, under the supervision of Dan Ghica!
I play the piano, enjoy train journeys and walks down canals, and (unfortunately) support Arsenal.
I’m also currently School of Computer Science Cookie Break admin!
I occasionally take photos of pretty things and put them on Instagram.
Here are some pictures of me!
Personal: georgejkaye at gmail.com
University: g.j.kaye at cs.bham.ac.uk
Where to find me: Office 244 (Desk J), School of Computer Science, University of Birmingham
A visualiser for linear lambda-terms as rooted 3-valent maps [Page]
A set of tools for the representation of lambda terms as their corresponding rooted maps. Developed for my MSci final year project.
Semester 1: Mathematical Foundations of Computer Science
Semester 2: Compilers & Languages