I'm Hannes, a student currently enrolled at Friedrich-Alexander-Universität Erlangen-Nürnberg 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 2026, I am pursuing a master's degree in Computer Science at FAU after receiving my bachelor's degree there. My interests include universal coalgebra and state-based systems, logic, and formal verification.
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
