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.

Writing

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

Acrobatics

Since I was 15 I am teaching myself various forms of acrobatics including Tricking and handstands and occasionally share videos of it.