Dinistro
5,513
reputation
1
28
37
Previously working as a frontend developer, now studying computer science at ETH Zürich.
My main interests include programming languages, compilers, computer systems and formal verification.