Description: Personal Homepage
I am a computer science researcher, mathematician, and musician. I work as a postdoctoral researcher in the software technology group at TU Darmstadt in Germany. Prior to that, I worked as a PhD student at JGU Mainz under supervision of Prof. Sebastian Erdweg.
In my research, I develop techniques that simplify the design and implementation of static analyses. Static analyses are tools that provide information about programs by inspecting the source code without running them. They are used in integrated development environments, continuous integration servers, and compilers. A challenge in the design of such static analyses is to ensure that the analysis results are reliable (sound). However, rigorously proving that a static analysis is sound, is a difficult and l
Besides my main area of research, my research interests are proof techinques, category theory, type and effect systems. In my spare time I explore the vineyards of Mainz by bike and enjoy the nature. When I am at home, I like to play piano and bake delicious artisan sourdough bread.