15th International KeY Symposium

I organized the 15th KeY Symposium in Manigod, France. This included communication with participants (emails, website), assembling the program, and organizational issues regarding the venue (rooms, catering).

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.