Hi, I'm Jake

Work:

I'm in the first year of my PhD, researching programming languages for Quantum Computers at the University of Glasgow. Before this, I studied BSc Computing Science, also at the University of Glasgow; I graduated with first class honours in 2024.

I love programming and programming languages.

Projects:

I write lots of hobby software; here's an incomplete list of incomplete projects:

JGET and a bunch of associated work in lua
A physics sim for bouncing balls (in haskell)

Socials:

All my work is on my github

You can also contact me using my email:

J.Trevor.1@research.gla.ac.uk

Publications:

Secure Scripting with CHERIoT MicroPython (DOI: 10.1145/3708493.3712694) Duncan Lowther, Dejice Jacob, Jacob Trevor, Jeremy Singer CC 2025