Hi! I am a student of computer science at ETH in Zürich. I am interested in proofs about programs and programs about proofs.


Course Material

As a teaching assistant I sometimes share write-ups and notes for exercise sessions:

I am grateful for any reported mistakes.


Writing is a learning tool for me, so it is about computer science for the most part. There is an archive of old writings and an RSS feed for future ones.


I am an ambitious hobbyist in floor acrobatics, specializing in a discipline called Martial Arts Tricking. I have travelled to many competitions and am sometimes teaching workshops. The picture on the top of this site is me doing a backflip on top of Pilatus in Switzerland.