Hi, I am a computer science student, teacher on the side and enthusiast of:


My most recent work is an arrangement for the piano of the song Paranoid Android by Radiohead, from their famous album OK Computer (invidious link, youtube link).

The arrangement can be found here.

Link to music page.

Articles and Guides

I am currently writing a series of introductory lessons on logic and set theory, if you want to learn more about computer science without listening to a professor talk for hours and hours. Almost no previous knowledge required!

Link to the first part.


I'm going to post these soon. Currently working on a library for validating systems.