Thomas Baar

Prof. Dr. Thomas Baar is a Professor at HTW Berlin, specializing in cyber-physical systems, formal verification, and model-driven engineering. His research focuses on hybrid systems, automated driving platforms like CeCar, and improving usability of verification tools such as KeYmaera. He contributes to software engineering education and legacy system modernization through domain-specific languages (DSLs) and graphical editors. Baar's work spans academia and industry, with collaborations in aerospace safety, multiagent systems, and cybersecurity for control systems.

His research interests include formal methods for hybrid systems, software reliability, and educational platforms for autonomous systems. He has published extensively on topics like verification frameworks, syntax improvements for formal tools, and safety analysis methodologies. His interdisciplinary approach bridges theoretical computer science with practical applications in aerospace, automotive, and industrial automation.

Key contributions include the CeCar platform for autonomous driving research, modularization enhancements for KeYmaera, and DSL-based solutions for legacy software maintenance. Baar collaborates with institutions like the IFAF Berlin and participates in EU-funded projects focusing on smart cities and sustainable technologies.

His publications reflect a strong emphasis on verification techniques, with over 15 peer-reviewed articles since 2015. He is affiliated with the HTW Berlin's Wilhelminenhof Campus and actively engages in knowledge transfer initiatives to bridge research and industry needs.