Hi! I am a student of computer science at ETH in Zürich. I am interested in proofs about programs and programs about proofs.
- Checking first order logic proofs with Haskell: github.com/maurobringolf/FOL-proof-checker
As a teaching assistant I sometimes share write-ups and notes for exercise sessions:
I am grateful for any reported mistakes.
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 the top of this site is me doing a backflip on top of Pilatus in Switzerland.