Home

Hello! I’m George, a PhD student researcher at the University of Birmingham, under the supervision of Dan Ghica!

About me

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!

Interests

Contact 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

Projects

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.

Talks

A visualiser for linear lambda-terms as rooted 3-valent maps
CLA 2019 July 1-2, 2019 [Slides]

Teaching

2019-20

Semester 1: Mathematical Foundations of Computer Science

Semester 2: Compilers & Languages

Misc