Dr.rer.nat. Marcel Christian Werner

was member of the group
from 04/2020 to 07/2025
left for

research interests
code refactoring model-based design software engineering synchronous languages formal verification system analysis and design programmable logic controllers
publications
all \| authored \| edited/supervised \| talks

Fachbereich Informatik