drawing

[backflip on Pilatus in Switzerland]

Hi! I am a student of computer science at ETH in Z├╝rich. I am interested in proofs about programs and programs about proofs. Apart from that I spend good amount of time training in various sports and/or enjoying nature.