About Me

I'm very interested in theoretical computer science (TCS), mainly programming language design and semantics. My Bachelor's dissertation was about formalising System F in Agda using locally nameless representation. If you're interested in reading it, the source code is on my GitHub! I may clean it up and write about it on here at a later date. Functional programming is what got me into all of this, so my heart is with Haskell, but my favourite language is Rust.

I currently work professionally developing web REST API services in Rust and have worked on programming langauges and bioinformatics in the past.

I also enjoy maths! During my time at university, I took courses on axiomatic set theory and commutative algebra. In the future, I'd be interested to learn more ring theory, algebraic number theory, and category theory.

For classical music, I'm most interested in the romantic period and some 20th century and contemporary classical; melody interests me the most, followed by orchestration, which is why my favourite composers (in no particular order, I couldn't rank them) are Chopin, Tchaikovsky, Beethoven, and Shostakovich. I also have an interest in video game music (VGM) and other music which puts an emphasis on melody and orchestration.

If any of this interests you and you want to get in contact, then please do! Email me or find me on social media.