Johannes Späth
Researcher of Program Analysis
University Paderborn
Biography
Johannes Späth holds a PhD in computer science from University of Paderborn. He prepares for the start-up CodeShield, a novel static security testing tool based on some of the technology of his dissertation. 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
