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. The source of this blog hosted on sourcehut.
All content is licensed under the CC BY-SA 4.0 license.