I'm Hannes, a student currently enrolled at ETH Zürich passionate about theoretical computer science, programming languages, graphic design, and photography. Below you can find some of the things I have been working on recently.
Since 2025, I am pursuing a master's degree in Computer Science at ETH Zürich. Before that, I have have received my bachelor's degree at FAU Erlangen-Nuremberg. My interests include programming language design, formal verification, and state-based systems.
Graded Monads in the Semantics of Nominal Automata
Hannes Schulze, Lutz Schröder, Üsame CengizA Graded Monad for the Local Freshness Semantics of Nominal Automata with Name Allocation
Bachelor's Thesis in Computer Science, 2025Besides studying, I sometimes like to code stuff. Here you can find some of it.
An open-source self-hosted music platform built for you, with a focus on a good user experience and a sleek interface.
[Currently just a mock-up]Website
[Currently just a mock-up]Website
A bar, launcher, control center, and notification daemon I wrote for my personal desktop. Although not designed to be a fully modular widget system like ags or eww, it does offer some customization options.Source Code
