Sven Keidel, M. Sc.
I work as a researcher in the software technology group at TU Darmstadt. 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 (IDEs), continuous integration (CI) 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.
If you are looking for interesting bachelor and master thesis topics in the area of static analyses, please contact me.