I am a Master's student in Computer Science at ETH Zurich. My focus is on Theoretical Computer Science and Formal Methods. I also volunteer as one of the system administrators in the student association of computer science students.
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. You can find the source of this blog hosted on sourcehut, as well as the blog source itself.
All content is licensed under the CC BY-SA 4.0 license.