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