Mauro Bringolf
528
reputation
5
14
Undergraduate student of computer science at ETH interested in compilers and formal methods. Writing (ir)regularly on https://maurobringolf.ch.