Prof. Dr.-Ing. Ina Schaefer


Prof. Dr.-Ing. Ina Schaefer


Ina Schaefer is Full Professor for  Software Engineering at Karlsruhe Institute of Technology (KIT).

  • Formal Methods
  • Verification
  • Integration of Formal Methods into Software Development Processes
  • Generative Programming
  • Software Product Lines
  • Software Evolution

For a list of Ina Schaefer’s publications  please follow this link.

Curriculum Vitae

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

Laufende Projekte am L3S

Keine Beiträge gefunden.