Research Projects:

• Since 2011: Sanitas (funded by BMBF)

Research Interests:

• Meta Modeling
  
• Embedded Systems
  
• Hardware and Software Verification
• Platform Configuration
  

Education:

• 2004 - 2011: Study of Computer Sciences at the Eberhard Karls University Tübingen
  • 2011: Diploma in computer science
    • Diploma thesis: Conception and implementation of a formal language for checking of embedded systems data models
• 2003: General Qualification for University Entrance

Professional Career:

• 10/2006 - 03/2009: Working student at Automotive Lighting in the electronic development.
  • Duties: Implementation of test sofware in python, end-of-line inspection, ODX data supply of ecu.
• 03/2009 - 10/2010: student worker at the University Tübingen at the department for computer engineering of Prof. Rosenstiel.
  • Duties: Programmierung UML-Tools, Verifikation Hardwaremodelle.
• 10/2010 - 11/2010: working student at 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