Ina Schaefer is Full Professor for Software Engineering at Karlsruhe Institute of Technology (KIT).
Research Focus
- Formal Methods
- Verification
- Integration of Formal Methods into Software Development Processes
- Generative Programming
- Software Product Lines
- Software Evolution
Publications
For a list of Ina Schaefer’s publications please follow this link.
since April 2022: Professor (W3) for Software Engineering, Karlsruhe Institute of Technology (KIT), Germany
April 2012 – March 2022: Full Professor (W3) for Software Engineering and Automotive Informatics, TU Braunschweig, Germany
November 2010 – March 2012: 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 the 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
