I'm a researcher (wissenschaftlicher Mitarbeiter) at the Programming Systems Lab at Saarland University in Saarbrücken.
My research interests are in logic and semantics, and their application to reasoning about (higher-order, typed, effectful) programming languages.