BSc Mathematics @ ETH Zürich with a background in web crawling infrastructure and anti-bot evasion.
Interested in Mathematical Logic, Automated Reasoning and Cryptography.
I'm always open to interesting discussions. If you've got something cool to share or have any comments on something I've written please don't hesitate to reach out: