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.