The KeY Project

Deduction-based program prover for Java

Dominic Steinhöfel
Last updated on Aug 24, 2022
Go to Project Site
Dominic Steinhöfel
Dominic Steinhöfel
Postdoctoral Researcher in Computer Science

I’m a PostDoc @ CISPA (Saarbrücken, Germany). My research interests center around program verification.