I am a PhD student in Computer Science with the Systems Group at ETH Zurich. I have a formal methods background, and am currently working on low-level high-assurance systems.
In my free time I enjoy playing chess and administering my own systems.
About this blog
This blog is statically generated by Hugo, served by nginx and deployed using builds.sr.ht. I have written the entire styling myself in order to get more comfortable with CSS. The source of this blog hosted on sourcehut.
All content is licensed under the CC BY-SA 4.0 license.