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