Prof. Dr.-Ing. Ina Schaefer

Prof. Dr.-Ing. Ina Schaefer ist seit April 2022 W3-Professorin am Karlsruher Institut für Technologie und leitet am Institut für Informationssicherheit und Verlässlichkeit (KASTEL) die Forschungsgruppe „Test, Validierung und Analyse Software-intensiver Systeme (TVA)“.

Ina Schaefer ist Co-Chair des IFIP Technical Committee 2 „Software and Databases“. Sie war 2021 Co-Vorsitzende des Expertenausschusses zum Zukunftsfonds Automobilindustrie im BMWi. Im Juli 2022 wurde sie zur Co-Vorsitzenden des Expertenkreises „Transformation der Automobilwirtschaft“ im BMWK gewählt.

Werdegang & Beitrag:

1997-2003: Informatik-Studium an der Universität Rostock, Deutschland
2000-2001: Gaststudentin an der Oxford University, Vereinigtes Königreich
September 2003: Diplom in Informatik an der Universität Rostock, Deutschland
Oktober 2003 – Dezember 2005: Wissenschaftliche Mitarbeiterin am Max-Planck-Institut für Informatik, Saarbrücken, Deutschland
Januar 2006 – August 2009: Wissenschaftliche Mitarbeiterin an der TU Kaiserslautern, Deutschland
Oktober 2008: Dr.-Ing. (PhD), TU Kaiserslautern, Germany
Januar 2009 – August 2009: Nachwuchsbeauftragte für Informatik, „Center for Mathematical and Computational Modeling“, Exzellenzcluster, TU Kaiserslautern, Deutschland
September 2009 – Oktober 2010: PostDoc, Fachbereich Informatik und Ingenieurwissenschaften, Chalmers University of Technology, Göteborg, Schweden, finanziert durch ein Forschungsstipendium der Deutschen Forschungsgemeinschaft
November 2010 – März 2012: Vertretungsprofessur, Software Systems Engineering, TU Braunschweig, Deutschland
April 2012 – März 2022: Professorin (W3) für Softwaretechnik und Fahrzeuginformatik, TU Braunschweig, Deutschland
seit April 2022: Professorin (W3) für Software Engineering, Karlsruher Institut für Technologie (KIT), Deutschland
Seit 1. Oktober 2022 leitet sie das Mobilitätslabor im Helmholtz-Programm Engineering Secure Systems.

Forschungsschwerpunkte:

Formale Methoden, Verifikation, Integration von Formalen Methoden in die Softwareentwicklung, Generative Programmierung, Software Product Lines, Software Evolution, Aspekte von Skalierbarkeit, Modularität und Wiederverwendbarkeit von Software

Manche Veröffentlichungen von Ina Schaefer finden Sie hier.

Quellen:
https://www.fzi.de/team/prof-dr-ing-ina-schaefer/
https://www.tu-braunschweig.de/isf/team/schaefer
https://www.fzi.de/wp-content/uploads/2022/09/bild-ina-schaefer-300×300.jpg (Photo: mit freundlicher Erlaubnis von Prof. Dr.-Ing. Ina Schaefer)