Mauro Bringolf

Undergraduate student of computer science interested in compilers, formal methods and logic. Writing regularly on https://maurobringolf.ch .