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:

There is an RSS feed for potential future writings.