Systems Engineer & Practical Formal Verification

Systems Engineer & Practical Formal Verification

Systems Engineer @ Rohde & Schwarz, before: Research Engineer @ Bosch Research -- Verification of Planning and Decision Making in Autonomous Systems.

Academic Service

Member of the ELLIS Society e.V.

I am a member of ELLIS, the European Laboratory for Learning and Intelligent Systems, which is a pan-European AI network of excellence. It builds upon machine learning as the driver for modern AI and aims to secure lasting international leadership of AI made in Europe by connecting top researchers in this field and by creating a multi-centric AI research laboratory.

Member of the External Advisory Board of the CoreSense EU Horizon Project

Since February 2025 I am a member of the External Advisory Board of the EU Horizon project CoreSense. The CoreSense project aims to develop a theory of understanding and awareness for autonomous robots, which will be implemented as a reference architecture and engineering toolbox. This theory and technology will be used in building autonomous robots with increased capabilities to work without/with limited supervision and improved intuitive, safe and efficient cognitive, social, and physical capabilities. The project also aims to create an open-source community in the ROS ecosystem around the software developed in the project. The core of the project is the development of a hybrid cognitive architecture that uses knowledge as the core substrate for its operation and is self-aware, trustworthy, model-centric and value-oriented.

PhD Representative Center for Perspicuous Computing (CPEC)

In the collaborative Research Center 248 – Foundations of Perspicuous Software Systems, funded by the German Research Foundation (DFG), I was the PhD representative on the CPEC Board from May 2020 to December 2022. My main tasks were the conception and organization of measures for the promotion of young scientists. Read more about it here.

Reviewing – Conferences

  • RV: International Conference on Runtime Verification, member of the program committee, 2025.
  • ICCPS: ACM/IEEE International Conference on Cyber-Physical Systems, member of the program committee, 2025.
  • QEST: International Conference on Quantitative Evaluation of Systems, member of the program committee, 2023.
  • ISoLA: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, 2022.
  • MEMOCODE: International Conference on Formal Methods and Models for System Design, 2021.
  • TACAS: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2017–2022.

In addition, I assisted in the organization of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science LICS and the 47th International Colloquium on Automata, Languages and Programming ICALP 2020 held online but hosted in Saarbrücken.

Reviewing – Artifact Evaluation Committees

  • QEST: International Conference on Quantitative Evaluation of Systems, 2022.
  • ADHS: Conference on Analysis and Design of Hybrid Systems, 2021.
  • TACAS: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2020.

Tooling Competitions & Benchmarks

  • Development of QComp, the Comparison of Tools for the Analysis of Quantitative Formal Models Competition with colleagues. It is a friendly competition among verification and analysis tools for quantitative formal models and compares the performance, versatility, and usability of the participating tools. It took place in 2019 at TOOLympics at TACAS for the first time, where I was involved in the development process of the event. In 2020, I was part of the organization team and responsible for the technical setup and tool execution of the competition.
  • Development of the Quantitative Verification Benchmark Set (QVBS), a collection of probabilistic models (MDP, MA, CTMC, DTMC, PTA) in JANI, PRISM, etc. for benchmarking in the model checking community with colleagues.