Hello!

A picture of me, with the Forth Bridge in the background

A picture of me, with the Forth Bridge in the background

Hello! Iā€™m George. Currently I work as a backend software developer as part of the Insurance Products Integration Development team at Acturis Ltd.

The old times

From 2019 to 2024 I was a PhD student at the University of Birmingham, under the supervision of Dan Ghica and Miriam Backens, as a member of the University of Birmingham Theory Group, I helped run the weekly seminar from March 2022 to March 2024 and also looked after the group website.

Between 2021 and 2024 I also used to work part time at the Huawei Edinburgh Programming Languages Lab.

Find out more

Want to contact me? Drop me an email at georgejkaye@gmail.com. You might also want to read my CV.

Contributing

The source of this website is available on GitHub. If you find a mistake, make an issue and I'll try to sort it out. Alternatively, you can figure out how my static site generator works and fix it yourself with a pull request!

Links

I like doing little coding projects: here are some of them:

I've made some guides to impart the admin knowledge I've gained from four years of doing things in the Birmingham theory group to help the next generation:

Douvk webring

Get to know other PhD students from my Birmingham days.

ā† Bruno da Rocha Paiva ā€¢ Jon Freer ā†’