معرفی
Goran Frehse is a Professor at ENSTA Paris where he leads the Semantics of Hybrid Systems (SSH) team and serves as Director of the Computer Science and Systems Engineering Unit (U2IS). His work bridges theoretical computer science with practical engineering applications, focusing on verification methods for complex cyber-physical systems.
Dr. Frehse's research interests center on the safety verification of cyber-physical systems, particularly those incorporating artificial intelligence. His expertise spans formal methods for hybrid systems (combining discrete events with continuous dynamics described by differential equations), model checking, reachability analysis, statistical verification techniques, and safe reinforcement learning. His work addresses critical challenges in verifying systems where traditional testing approaches are insufficient due to complexity and safety requirements.
Analysis of his recent publications (2021-2024) reveals a growing emphasis on integrating machine learning techniques with formal verification methods. His research increasingly focuses on data-driven reachability analysis, verification of AI-based control systems, and explainable AI safety, reflecting the field's evolution toward addressing the verification challenges posed by modern AI-integrated systems. His work maintains strong connections to practical applications while advancing theoretical foundations.
As a research advisor, Dr. Frehse has supervised multiple PhD students including Abdelmouaiz Tebjou, Gwendal Priser, and David Brellmann. His research has been supported through significant projects such as IPL Modeliscale (2017-2021), UnCoVerCPS (2015-2018), and industrial collaborations including a project with DENSO Automotive Deutschland focused on control design verification for complex systems.
Dr. Frehse leads the Semantics of Hybrid Systems research team within U2IS, which develops foundational methods and practical tools for system verification. His team's work has direct applications in safety-critical domains including autonomous vehicles, industrial robotics, and defense systems, where formal guarantees of system behavior are essential.
