Prof. Dr.-Ing. Ina Schaefer

Institut für Softwaretechnik und Fahrzeuginformatik Institute of Software Engineering and Automotive Informatics
Technische Universität Braunschweig

Informatikzentrum
Mühlenpfordtstr. 23
38106 Braunschweig

tel.phone +49 531 391-2275
fax +49 531 391-2277
i.schaefer [at] tu-braunschweig.de

Raumroom 348

Sprechstunde: Donnerstagsoffice hours: Thursday, 15 - 16 Uhr

"If we knew what we were doing, it wouldn't be called research, would it?" (Albert Einstein)

ForschungsinteressenResearch Interests

Formale Methoden, Verifikation, Integration von Formalen Methoden in die Softwareentwicklung, Generative Programmierung, Software Product Lines, Software EvolutionFormal Methods, Verification, Integration of Formal Methods into Software Development Processes, Generative Programming, Software Product Lines, Software Evolution

LehreTeaching

Bitte besuchen Sie die Webseiten des ISF zu Lehre.
Please visit our webpages on teaching.

PublikationenPublications

Meine Publikationen finden Sie bei Google Scholar oder Research Gate.
My publications can be found on Google Scholar or Research Gate.

LebenslaufShort CV

seit April 2012: Professorin (W3) für Softwaretechnik und Fahrzeuginformatik, TU Braunschweig, Germany
since April 2012: Full Professor(W3) for Software Engineering and Automotive Informatics, TU Braunschweig, Germany
November 2010 - MärzMarch 2012: Vertretungsprofessur (Visiting Professor), Software Systems Engineering, TU Braunschweig, Germany
September 2009 - October 2010: PostDoc, Department of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden, funded by a Forschungsstipendium of the Deutsche Forschungsgemeinschaft.
January 2009 - August 2009:Young Researchers Representative for Computer Science, “Center for Mathematical and Computational Modeling”, Cluster of Excellency, TU Kaiserslautern, Germany
October 2008: PhD (Dr.-Ing.), TU Kaiserslautern, Germany
January 2006 - August 2009: Scientific Assistant at TU Kaiserslautern, Germany
October 2003 - December 2005: Scientific Assistant at Max-Planck-Institute for Computer Science, Saarbruecken, Germany
September 2003: Diploma in Computer Science at Rostock University, Germany
2000-2001: Visiting Student at Oxford University, United Kingdom
1997-2003: Student of Computer Science at Rostock University, Germany