© Dr.-Ing. Ina Schaefer

Prof. Dr.-Ing. Ina Schaefer Institute of Software Engineering and Automotive Informatics Technische Universität Braunschweig Informatikzentrum Mühlenpfordtstr. 23 38106 Braunschweig phone +49 531 391-2275 fax +49 531 391-2277 i.schaefertu-braunschweig.de room 348 office hours: Thursday, 15 - 16

Research Interests

Formal Methods, Verification, Integration of Formal Methods into Software Development Processes, Generative Programming, Software Product Lines, Software Evolution

Teaching

• Please visit our webpages on teaching.

Publications

• My publications can be found on Google Scholar or Research Gate.

Short CV

• since April 2012: Full Professor(W3) for Software Engineering and Automotive Informatics, TU Braunschweig, Germany
• November 2010 - March 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