I have a computer science degree from The Australian National University. I enjoy learning about logic, solving interesting problems and going for nature walks. I’m interested in the formal side of computer science, such as software verification and functional programming.

I am also a Buddhist and student of Patrick Kearney and Allan Marett.