Institut für Softwaretechnik und Fahrzeuginformatik
Technische Universität Braunschweig
Informatikzentrum
Mühlenpfordtstr. 23
38106 Braunschweig
tel. +49 531 391-2275
fax +49 531 391-2277
i.schaefer(at)tu-braunschweig.de
Raum 348
Sprechstunde: Donnerstags, 15 - 16 Uhr
Die Sprechstunde im Sommersemester 2020 findet ausschließlich nach Vereinbarung per Email statt.
"If we knew what we were doing, it wouldn't be called research, would it?" (Albert Einstein)
Formale Methoden, Verifikation, Integration von Formalen Methoden in die Softwareentwicklung, Generative Programmierung, Software Product Lines, Software Evolution
Bitte besuchen Sie die Webseiten des ISF zu Lehre.
Meine Publikationen finden Sie bei Google Scholar oder Research Gate.