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.