Sven Keidel
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 laborious task. To this end, I develop techniques that simplify the development and soundness proof of static analyses. The core principle is to develop analyses from modular and reusable building blocks, such that the soundness proof becomes compositional.
Besides my main area of research, my research interests are proof techniques, 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.