 © Dr.-Ing. Ina Schaefer |
Prof. Dr.-Ing. Ina SchaeferInstitut für Softwaretechnik und FahrzeuginformatikTechnische Universität Braunschweig Informatikzentrum Mühlenpfordtstr. 23 38106 Braunschweig tel. +49 531 391-2275 Sprechstunde: Donnerstags, 15 - 16 Uhr |
![[at]](https://www.isf.cs.tu-bs.de/cms/team/schaefer/../at.png)
tu-braunschweig.deForschungsinteressen
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
aktualisiert am 24.08.2012
