Hi! My name is Mauro Bringolf and I study computer science at ETH 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.


Articles and notes mostly on computer science but also other topics here and there. 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 this site is me doing a backflip on top of Pilatus in Switzerland.