معرفی
Saddek Bensalem is a Professor at Université Grenoble Alpes (UGA), affiliated with the Laboratoire Verimag within the Grenoble Institute of Technology. His research focuses on rigorous system design, formal methods for verification, and the integration of learning-enabled components into safety-critical systems. He leads projects like FETLAS (Engineering Trustworthy Learning-enabled Autonomous Systems) and has contributed to frameworks such as BIP for component-based system design.
Research Interests: Formal verification of real-time systems, model-based design, cyber-physical systems, autonomous robotics, and security in IoT. His work emphasizes scalable verification techniques and correctness-by-construction approaches.
Recent Projects:
- FOCETA (H2020): Foundations for continuous engineering of trustworthy learning-enabled systems.
- BRAIN-IoT: Framework for smart IoT-CPS integration and security.
- CPS4EU: Strengthening European capabilities in cyber-physical systems.
Labs & Teams: Laboratoire Verimag, leading the Rigorous System Design team (2008-2020) and currently advancing autonomous systems research. Active in collaborations with institutions like NASA/JPL and SRI International.
