Eric Bodden, Ph.D.
I am an independent Claude Shannon Research Group Leader at the European Center for Security and Privacy By Design (EC SPRIDE), and a Principal Investigator in Secure Services at the Center for advanced Security Research Darmstadt (CASED). Before my time at EC SPRIDE, I was a PostDoc at the Software Technology Group, which I still strongly collaborate with on many levels.
My research focuses a unique combination of domain-specific languages, runtime verification and static program analysis. Using those tools and technologies, I design program abstractions and programming languages that allow software engineers to create software that is secure and safe by design.
I am the chief maintainer of the Soot framework for the static analysis and transformation of Java programs, the creator of the Clara framework for partially evaluating runtime monitors at compile time, and one of the creators of the TamiFlex framework for enabling static analysis of programs that use Java reflection. All frameworks are open source and we invite you to use them or even contribute to them!
You can find further information on my personal webpage.