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.
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.