Prof. Dr. Ina Schaefer

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

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