Studies of electrical engineering at Karlsruhe Institute of Technology (KIT) and the University of Newcastle, Australia (bachelor 2010). Practical work within the pre-master program of Robert Bosch GmbH at the research and development center of Abstatt. Then, studies of electrical engineering at KIT. Master’s thesis at IRS on the identification of a movement model based on measured trajectories. From 2013 until 2018 research assistant at the IRS and fellow of the doctoral college in the "Projekthaus eDrive". Since 2018 department manager of "Control in Information Technology" (CIT, Director Prof. Hohmann) at the research center for information technology (FZI).

Classical manual development processes are time-consuming and cost-intensive. Use of more formalized methods for specification, implementation, and verification offers a vast potential for time and cost reduction. Formalized methods and processes are less susceptible to failure and produce more reliable results. In addition, clearer structures and notations are generated, which may result in enhanced system understanding.

Within the “Systems with Guarantees” group, methods are developed for such a formalization. The different projects of the group focus on the different partial steps of a development process. The objective is the development of a standardized framework for specification, control design, and verification.

The requirements needed are to be intuitive and easy to define. The results are given a degree of confidence that results from the framework used and the special mathematical description applied. In the context of safety-critical systems (e.g. driver assistance systems, autopilots, etc.) in particular, such data are of decisive importance. By using the proposed framework, it is possible to derive information on the functional properties of safety-critical systems based on easy-to-verify assumptions.

My research focuses on guaranteed verification of hybrid dynamic systems (also known as “embedded system” or “cyber physical system”) by using interval arithmetics. To determine so-called “inner enclosures,” a special type of interval arithmetics, so-called Kaucher interval arithmetics is applied. This new approach is to be used for control problems along the complete development process.