ISLearn

Dominic Steinhöfel
Last updated on Aug 24, 2022
Go to Project Site
A schematic overview of the ISLearn system.
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.