Prof. Dr.-Ing. Ina Schaefer

Prof. Dr.-Ing. Ina Schaefer

Scientific Director
Software Engineering


Prof. Dr.Ina Schäfer has been a W3 professor at the Karlsruhe Institute of Technology (KIT) since April 2022 and heads the “Test, Validation and Analysis of Software.Intensive Systems (TVA)” research group at the Institute for Information Security and DependabilityReliability (Institut für Informationssicherheit und Verlässlichkeit – KASTEL).

Previously, she was a professor of Software Eengineering and Automotive vehicle Iinformatics at the Technical University of Braunschweig for about ten years. She did her doctorate in October 2008 at the TU Kaiserslautern. Ina spent her PostDoc period from September 2009 to October 2010 at Chalmers University of Technology in Gothenburg, Sweden.

The focus of her research is the integration of formal methods into software development so that software can become better than it currently is. Ina is particularly interested in aspects of scalability, modularity, and reusability. Applications for this work can be found in a variety of systems, including automotive, aviation, and automation.

Since October 1, 2022, she heads the Mobility Lab in the Helmholtz Engineering Secure Systems program.

Ina is Co-Chair of the IFIP Technical Committee 2 “Software and Databases”. In 2021, she was Co-Chair of the Expert Committee on the Future Fund for the Automotive Industry at the BMWi. In July 2022, she was elected Co-Chair of the Expert Committee “Transformation of the Automotive Industry” at the BMWK.