Johannes Späth
Researcher of Program Analysis
University Paderborn
Biography
Johannes Späth holds a PhD in program analysis from the University of Paderborn and currently serves as R&D Director at Certora. Before joining Certora, he co-founded CodeShield, a startup that developed cloud security tools based on cutting-edge research technologies. During his doctoral studies, he gained valuable industry experience working at Oracle Labs in Brisbane and at the applied research institutes Fraunhofer IEM and Fraunhofer SIT. 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
