Prof. Dr. Ina Schaefer

Basic

Angestellt, Prof. Dr.-Ing., TU Braunschweig

Braunschweig, Germany

Timeline

Professional experience for Ina Schaefer

  • Current 10 years and 3 months, since Apr 2012

    Prof. Dr.-Ing.

    TU Braunschweig

    Professorin für Softwaretechnik und Fahrzeuginformatik

  • 1 year and 5 months, Nov 2010 - Mar 2012

    Vertretungsprofessur

    TU Braunschweig, Institut für Software Systems Engineering

  • 1 year and 2 months, Sep 2009 - Oct 2010

    PostDoc

    Chalmers University of Technology, Göteborg, Schweden

    Verification of Software Product Lines - DFG Research Grant

  • 3 years and 8 months, Jan 2006 - Aug 2009

    Researcher

    TU Kaiserslautern, FB Informatik

    Integration of Model-based Development of Adaptive Embedded Systems and Formal Verification

  • 2 years and 3 months, Oct 2003 - Dec 2005

    Research Assistant

    Max-Planck-Institut für Informatik, Saarbrücken

    Verification of Pointer Programs

  • 6 months, Sep 2001 - Feb 2002

    Praktikantin

    DFKI GmbH, Saarbrücken

    Formal Methods for Security of Multi-Agent Systems

Educational background for Ina Schaefer

  • 2 years and 10 months, Jan 2006 - Oct 2008

    Informatik

    TU Kaiserslautern

    Model-Based Verification of Adaptive Embedded Systems

  • 9 months, Oct 2000 - Jun 2001

    Visiting Student (Computer Science)

    St. Cathrine's College, Oxford, UK

  • 6 years, Oct 1997 - Sep 2003

    Informatik

    University of Rostock

Languages

  • English

    Fluent

  • French

    Basic

  • German

    First language

Interests

Kochen
Kunst (Acrylmalerei)
Segeln

Group memberships

Browse over 20 million XING members