Prof. Dr. Ina Schaefer

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

Information

Seit April 2022 bin ich Professorin für Software Engineering am Karlsruher Institut für Technologie (KIT) und leite dort die Forschungsgruppe für Test, Validierung und Analyse am Institut für Informationssicherheit und Verlässlichkeit (KASTEL).

Forschungsinteressen

Formale Methoden, Verifikation, Integration von Formalen Methoden in die Softwareentwicklung, Generative Programmierung, Software Product Lines, Software Evolution

Lehre

Bitte besuchen Sie die Webseiten des ISF zu Lehre.

Publikationen

Meine Publikationen finden Sie bei Google Scholar oder Research Gate.

Lebenslauf

• seit April 2012: Professorin (W3) für Softwaretechnik und Fahrzeuginformatik, TU Braunschweig, Germany
• November 2010 - März 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