Dinistro
5,701
reputation
1
30
38
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.