Dr. Daniel Stöhr

Technical project lead for automotive software development. Main projects include a backend application for mobile online services of a large car manufacturer and an embedded OTA update solution based on OMA LWM2M.

Function owner for mobile online services on behalf of a large car manufacturer. Coordination of requirements and technical interface specifications. Project lead responsibility for the development of a corresponding, embedded software component that is used in series production.

Research associate in context of the graduate school SOAMED. Research focus on modeling languages, formal verification, and model generation. Implementation of a model generator in C and Java. Publications and presentations on international conferences. Coordination of student assistants and supervision of bachelor theses and master theses.

Design of modifications to a Java Virtual Machine in order to introduce native support for aspect-oriented language elements. Implementation of JVM modifications in C/C++ and of modifications to a Java-Compiler in Java.

Doctorate as a member of the PhD school SOAMED (service-oriented Architecture for Health Care Systems and Medical Technology). Research interests: modeling languages, formal verification, and model generation. Title of dissertation: "Automated Composition of Timed Services in Medical Applications".

Computer science studies at Technical University of Berlin with emphasis on Software Engineering and Theoretical Computer Science. Title of diploma thesis: "Extension of a JVM for dynamic aspect-dispatch in ObjectTeams/Java".