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:
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 am teaching myself various forms of acrobatics including Tricking and handstands and occasionally share videos of it.