About Me

I'm very interested in theoretical computer science (TCS), a bit of a variety, really. I've been getting interested in theorem provers, and have been teaching myself Agda through the online textbook PLFA. 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! I'm taking courses on axiomatic set theory, commutative algebra, and topology. In general, I prefer algebra over analysis, but have enjoyed complex analysis in the past.

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, like jazz and rock, though I know a lot less about the latter two than the former.

If you feel like you have anything interesting to talk with me about, then please get in contact! You can send me an ask on my Tumblr page, email me, or find me elsewhere.