Forschungsprojekte:

• Seit 2011: Sanitas (gefördert vom BMBF)

Forschungsinteressen:

• Metamodellierung
• Eingebette Systeme
• Verifikation von Hardware- und Software-Systemen

Ausbildung:

• 2004 - 2011: Studium der Informatik an der Eberhard Karls Universität Tübingen.
  • 2011: Diplom Informatiker.
    • Abschlussarbeit: Konzeptionierung und Implementierung einer Sprache zur Überprüfung von Datenmodellen für Eingebettete Systeme
• 2003: Abitur

Beruflicher Werdegang:

• 10/2006 - 03/2009: Werkstudent bei Automotive Lighting in der Entwicklung Elektronik.
  • Aufgaben: Programmierung Testsoftware (Python), Bandendeprüfungen, ODX-Bedatung von Steuergeräten.
• 03/2009 - 10/2010: Hilfswissenschaftlicher Mitarbeiter (HiWi) an der Universität Tübingen am Lehrstuhl für Technische Informatik von Prof. Rosenstiel.
  • Aufgaben: Programmierung UML-Tools, Verifikation Hardwaremodelle.
• 10/2010 - 11/2010: Werkstudent bei Infineon Technologies.

HiWi-Stellen:

Entwicklung einer Ansteuerunssoftware für autonom fahrenden Segway

Implementierung einer Meta-Assertion-Language für EMF

Studentische Arbeiten:

Studien- oder Bachelorarbeit im Bereich eingebetteter Systeme