1st International HacKeYthon

Last updated on Aug 7, 2020 organized_events
Go to Project Site
Dominic Steinhöfel
Dominic Steinhöfel
Postdoctoral Researcher in Computer Science

My research interests include software reengineering, safe program transformation, program verification, and symbolic execution.