1st International HacKeYthonLast updated on Aug 7, 2020 organized_eventsGo to Project SiteDominic SteinhöfelPostdoctoral Researcher in Computer ScienceMy research interests include software reengineering, safe program transformation, program verification, and symbolic execution.