15th International KeY Symposium

Last updated on Aug 7, 2020 organized_events
Go to Project Site

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.