About Me

I'm very interested in theoretical computer science (TCS), mainly programming language design and semantics. My Bachelors dissertation was about formalising System F in Agda using locally nameless representation. If you're interested in reading it, email me! I may clean it up and upload it 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 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 specifically interested most 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 a mild interest in video game music (VGM) and other music which puts an emphasis on melody and orchestration. I've also recently gotten into pop, hyperpop, and other queer- and club-adjacent music.

If you feel like you have anything interesting to talk with me about, then please get in contact! Email me or find me on social media.