Institute of Software Engineering and Automotive Informatics
Technische Universität Braunschweig
phone +49 531 391-2275
fax +49 531 391-2277
Office hours: Thursday, 15 - 16
Office house in the summer term 2020 take place exclusively by prior individual arrangement via e-mail.
"If we knew what we were doing, it wouldn't be called research, would it?" (Albert Einstein)
Formal Methods, Verification, Integration of Formal Methods into Software Development Processes, Generative Programming, Software Product Lines, Software Evolution
Please visit our webpages on teaching.
My publications can be found on Google Scholar or Research Gate.