Prof. Dr. Martin Fränzle

Principal Investigator Subproject M2

Foundations and Applications of Systems of Cyber-Physical Systems

Email: 

Web: https://uol.de/socps

Prof. Dr. Martin Fränzle

Short Bio

Martin Fränzle holds a professorship at the Department of Computing Science at the Carl von Ossietzky Universität Oldenburg (since 10/2004) and is head of research group “Foundations and Applications of Systems of Cyber-Physical Systems“.

His research interests are in modelling, verification, and synthesis of reactive, real-time and hybrid dynamics in embedded and cyber-physical systems. He has worked on the semantics of high-level modelling and specification languages and on arithmetic decision problems and their application to verifying and synthesising real-time and hybrid discrete-continuous systems including settings subject to stochastic disturbances.

Prof. Fränzle is a member of the board of the Interdisciplinary Research Center Safety-Critical Systems at the Carl von Ossietzky Universität Oldenburg and he is speaker and scientific director of R&D Division Transportation at OFFIS e.V., Oldenburg.

He is member of editorial board and section editor “Hybrid Systems” of the Leibniz International Transactions on Embedded Systems and Co-speaker of the Research Training Group (RTG) SCARE (System Correctness under Adverse Conditions, DFG GRK 1765).

Martin Fränzle is head of the Steering Committee of the International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), member of the Steering Committees of the ACM International Conference on Hybrid Systems: Computation and Control (HSCC), of the Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA), and of the Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR). Member of program committees (45 conferences over the last 5 years) and PC chair (10 conferences and workshops over last 5 years) of various conferences in the areas of cyber-physical systems, hybrid and real-time systems, and formal methods.

(Stand: 19.01.2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page