Dr. Niels Lohmann

Leading a development team of 11 developers in different series and pre-production projects in the area of navigation systems, immersive apps, and games for the infotainment system of Mercedes-Benz’s in-house developed operating system (MB.OS).

Maintainer of JSON for Modern C++, an open source C++11 single-header library to use JSON as first-class data type in C++. The library has over 250 contributors and, with 39,000 stars, is among the top 20 most popular C++ projects at GitHub. It is used in production environments by numerous industries like FAANG, automotive, gaming and even aerospace. In the C++ community, it is repeatedly praised as a role model for intuitive APIs.

- Architect and developer in a 4-person team of a C++ data service for automotive navigation use cases (map rendering, destination input, and routing). - Developer for navigation backend services for efficient routing for electric vehicles, satellite imagery, and live location sharing. Tech stack: Python (Flask, gevent)

Organisation und Durchführung von Lehrveranstaltungen | Weiterentwicklung von Verifikationswerkzeugen | Forschungstätigkeiten; Präsentation auf internationalen Workshops und Konferenzen – Wissenschaftliche Dienstleistungen: Begutachtungen und Organisation von Workshops | Betreuung von Abschlussarbeiten

Integration der Software-Werkzeuge der Forschungsgruppe aus Rostock in das Eindhovener Werkzeug ProM | Forschungstätigkeiten; Präsentation auf internationalen Workshops und Konferenzen

Leitung des Projektes „Automatische Generierung von Bedienungsanleitungen für Services“, gefördert durch die Deutsche Forschungsgemeinschaft | Entwicklung von mehreren Verifikationswerkzeugen für Geschäftsprozesse und Services | Planung und Aufbau der technischen Infrastruktur für die gemeinsame Werkzeugentwicklung mit mehreren universitären Kooperationspartnern incl. Build Management und Continuous Integration | Forschungstätigkeiten; Präsentation auf internationalen Workshops und Konferenzen

Leitung des Projektes Tools4BPEL („Korrektheit und Zuverlässigkeit zusammengesetzter Web Services am Beispiel der Geschäftsprozess-Modellierungssprache BPEL“), gefördert durch das BMBF | Entwicklung eines Compilers zur statischen Analyse und Erzeugung von formalen Modellen aus BPEL- Geschäftsprozessen | Forschungstätigkeiten; Präsentation auf internationalen Workshops und Konferenzen | Wissenschaftliche Dienstleistungen: Begutachtungen und Organisation von Workshops

Mitarbeit in Forschung und Lehre | Programmiertätigkeiten | Aufbau und Pflege der technischen Lehrstuhl-Infrastruktur

Binational doctoral procedure between the Technical University of Eindhoven and the University of Rostock. The doctoral degree was jointly awarded by both universities. Research focus: Development of correct service-oriented systems; Dissertation topic: “Correctness of services and their compositions” (in English)Activities and societies: Research focus: Development of correct service-oriented systems; Dissertation topic: “Correctness of services and their compositions” (in English)