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. I put a couple of things on the web:

Course Material

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

I am very grateful for any mistake you might report.


Articles and notes mostly on computer science but also other topics here and there. There is an RSS feed for future writings.


Since I was 15 I have been teaching myself various forms of acrobatics including Tricking and handstands. I have been in competitions and teaching workshops all over Europe.