Johannes Späth

Johannes was a PhD student at Paderborn University under Karim (co-supervised with Eric Bodden). In 2013, Johannes received his Master’s degree in Mathematics at TU Darmstadt. His research focused on designing efficient and precise algorithms for static analysis (e.g., points-to and typestate). He went on to be a Research Associate at the Software Engineering and IT Security Department of Fraunhofer IEM in Paderborn, Germany.