Andreas Podelski

Prof. Dr. Andreas Podelski is a Professor of Software Engineering at the Institute of Computer Science (Institut für Informatik) at the University of Freiburg, part of the Faculty of Engineering. His research focuses on formal verification, software model checking, and requirements engineering, with a particular emphasis on improving the reliability and safety of complex software systems. He leads the SystemValid project, funded by the German Federal Ministry of Education and Research (BMBF), which aims to validate requirements in system and software development to reduce errors early in the design phase.

Key contributions include the development of verification tools like Ultimate Automizer and Ultimate Taipan, which are used in international competitions (e.g., SMT-COMP). His work bridges theoretical foundations and practical applications, addressing challenges in concurrent systems and safety-critical software. Podelski has been recognized as an IEEE Fellow (2022) and has collaborated with industry partners like Bosch on real-world applications of formal methods.

His research also extends to teaching and academic leadership, contributing to courses on software engineering, formal methods, and verification. He actively engages in interdisciplinary projects, such as the European Flagship initiative DigiTwins, and has published extensively on topics including automated testing, concurrency, and model-driven engineering.