Martin Fränzle

Prof. Dr. Martin Fränzle is a full professor at the Department of Computer Science, Carl von Ossietzky University of Oldenburg, and Head of the Foundations and Applications of Systems of Cyber-Physical Systems division. With a career spanning over three decades, he has held positions at Christian-Albrechts-University of Kiel, Technical University of Denmark, and Tallinn University of Technology.

• Key research areas: modelling, verification, and synthesis of reactive/hybrid systems, robust correctness certificates, and SAT-modulo-theory techniques for arithmetic constraints involving differential equations.
• Leadership roles: Co-Spokesperson for DFG Research Training Group SCARE, speaker of OFFIS research area Verkehr, and Vice President for Research at the University of Oldenburg (2020-2021).
• Applied research projects: IMoST (safe transportation), SaLsA (autonomous logistics), and MoVeS (power grid verification) with industrial partners like DENSO Automotive and Volkswagen.

His work bridges fundamental theory (e.g., extending bounded model checking to probabilistic hybrid systems) with industrial applications in advanced driver assistance systems and socio-technical safety engineering.