I am a PhD student at the software technology group, supervised by Mira Mezini and co-supervised by Annette Bieniusa at RPTU Kaiserslautern.
My interests lie in the theory and applications of programming languages, broadly ranging from type systems and formal verification to language implementation.
My current research is focused on programming languages for safe decentralized applications. I particularly try to facilitate the construction of privacy-preserving applications (following e.g. the local-first paradigm) which give users more control about where their data is stored and processed.
Publications
2025
Think locally, act globally: A programming model for decentralized applications.
Haas, Kuessner, Mogk, Mezini,
INTERNET (4).
10.1109/mic.2025.3618947
2024
LoRe: A programming model for verifiably safe local-first software.
Haas, Mogk, Yanakieva, Bieniusa, Mezini,
TOPLAS (1).
10.1145/3633769
2023
LoRe: A programming model for verifiably safe local-first software (artifact).
Haas, Mogk, Yanakieva, Bieniusa, Mezini,
DARTS (2).
10.4230/darts.9.2.11
LoRe: A programming model for verifiably safe local-first software (extended abstract).
Haas, Mogk, Yanakieva, Bieniusa, Mezini,
ECOOP.
10.4230/lipics.ecoop.2023.12