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 mostly interested in the formal side of computer science, such as software verification and functional programming.

I am also a Zen student in the Diamond Sangha, studying under Allan Marett. I am also in the process of starting a Zen group with Neti Parekh which will be called Twining Vines Zen Centre.