Wolfgang Meincke studied Computer Science at the University Ravensburg-Weingarten where he graduated in 2006. He then worked at EWE TEL GmbH where he was responsible for requirements engineering and project management for software development projects as well as agile software development processes. In 2014 he joined BTC as senior pilot engineer to support the customers to integrate the tools into their development processes as well as giving support and training on test methodologies regarding the ISO 26262 standard. One of his main areas of interest is the formalization of safety requirements and their verification based on formal testing and model-checking technologies for unit test, integration test and HIL real-time-testing.

Leif Driebold studied computer science at the University of Applied Sciences in Bremerhaven, where he developed an early interest in artificial intelligence and its potential to transform technology. In 2018, he joined BTC ES in Oldenburg as part of the product management team, where he contributed to several projects incorporating AI-driven solutions, enhancing product capabilities, and expanding customer applications. By 2023, Leif had moved to BTC Japan to focus on developing formal specification, formal verification, and automated testing methods compliant with functional safety standards for the Japanese market, leveraging AI’s precision and efficiency in each domain. Today, as the manager of the Sales Engineering Department, he coordinates multiple AI projects, guiding innovative applications that align with evolving industry needs. His journey reflects a continuous commitment to integrating AI into practical solutions, driving advancements across diverse sectors.