Philipp Schubert is a Ph.D. student and member of the Software Engineering research group lead by Professor Eric Bodden at Paderborn University’s Heinz Nixdorf Institute. He is also a member of the German Research Foundation’s Collaborative Research Center 901 On-The-Fly Computing. His research interests include secure software engineering, especially static code analysis, and high performance computing.
For several years now, Philipp has been teaching a full-term course on C/C++ programming.
Philipp is the chief developer of the Phasar framework.
Ben Hermann is a senior researcher and member of the Software Engineering research group at Paderborn University’s Heinz Nixdorf Institute. He works on program analysis techniques mainly with an application to security and actively worked on Soot and OPAL, two program analysis frameworks for Java, in the past, as well as several client analysis using LLVM. Ben received his Ph.D. from the University of Darmstadt for his work on Java security.
Eric Bodden is one of the leading experts on programming languages and secure software engineering, with a specialty in building highly precise tools for automated program analysis. He is a full professor for Software Engineering at Paderborn University and director for Software Engineering at the Fraunhofer Institute for Mechatronic Systems Design (IEM). Eric has published dozens of papers at top PL, SE and security venues, including as PLDI, TOPLAS, ICSE, FSE, TOSEM, S&P, CSS, etc. Further, for more than ten years Eric has been the chief maintainer of Soot, one of the most prominent program analysis frameworks for Java.
Florian Sattler is a Ph.D. student and a member of the Software Engineering research group lead by Professor Sven Apel at Saarland University.
Richard Leer is a software developer at the Fraunhofer Institute for Mechatronic Systems Design (IEM). Previously, he worked as a student assistant in the Software Engineering research group at Paderborn University’s Heinz Nixdorf Institute. His bachelor thesis was written on performance evaluation of PhASAR and implementing a performance measurement mechanism tailored towards performance evaluation in the context of static analysis. As one of the maintainers of the PhASAR framework, he works on serialization, unit testing, and client analysis using LLVM (e.g. IFDS Immutability Analysis).