Forschungsprojekte

• seit 2009: SANITAS (gefördert vom BMBF)
• 2007-2009: ALL-TIMES (EU-gefördert)

Forschungsinteressen

• Eingebettete Systeme
• Compiler Design
• Programmanalyse

Ausbildung

• 2005-2009: Studium der Informatik an der Universität des Saarlandes in Saarbrücken
  • 2009: Master of Science (M.Sc.)
    • Abschlussarbeit: Precise Measurement-Based Worst-Case Execution Time Estimation
  • 2008: Bachelor of Science (B.Sc.)
    • Abschlussarbeit: Function Pointer Analysis for C Programs
• 2004: Abitur

Beruflicher Werdegang

• seit 2009: Wissenschaftlicher Mitarbeiter am FZI, Abteilung Systementwurf in der Mikroelektronik
• 2007-2009: Softwareentwickler/Werkstudent, AbsInt Angewandte Informatik GmbH, Saarbrücken