The KeY ProjectDeduction-based program prover for JavaLast updated on Aug 7, 2020Go to Project SiteDominic SteinhöfelPostdoctoral Researcher in Computer ScienceMy research interests include software reengineering, safe program transformation, program verification, and symbolic execution.