Johannes Späth
Researcher of Program Analysis
Fraunhofer IEM, Paderborn
Biography
Johannes Späth holds a PhD in computer science from University of Paderborn and currently works at the research institute Fraunhofer IEM. His research interests include static data-flow analysis, pointer analysis and automated detection of security vulnerabilities. In his PhD thesis he presented highly precise and efficient static data-flow algorithms. His PhD was advised by Eric Bodden and Karim Ali.
Interests
- Program Analysis
- Pointer and Data-Flow Analysis
- Applied Cryptography and Security
Education
-
PhD in Computer Science, 2019
University of Paderborn, Germany
-
M.Sc. in Mathematics, 2013
Technical University of Darmstadt, Germany
-
B.Sc. in Mathematics, 2011
Johannes-Gutenberg University of Mainz, Germany
