معرفی
Fabien Dagnat is a Lecturer and Researcher in the Computer Sciences Department at IMT Atlantique in Brest since 2002. He holds a PhD (2001) and HDR (2016), leading the P4S team at Lab-STICC. His expertise focuses on software engineering, particularly software safety and security, with emphasis on formal methods and dynamic software updating. He has supervised multiple PhD students and conducted research collaborations with institutions like Georgia Tech and Thales Alenia Space.
Research interests include model federation, component-based systems, secure systems engineering, and dynamic reconfiguration. His work bridges theory and practice, addressing challenges in complex system development, such as maintaining security consistency during system evolution and managing heterogeneous IT infrastructures. He contributes to frameworks like Openflexo and tools for secure space mission engineering.
Education: PhD in Programming Languages (2001) and HDR in Software Engineering (2016) from Institut National Polytechnique de Toulouse. Teaching responsibilities include software development, concurrent programming, and compilation at IMT Atlantique.
Labs/Teams: P4S (Processes for Safe and Secure Software and Systems) at Lab-STICC. Active in international conferences (MODELS, ICSSP) and collaborations with industry (e.g., Airbus, Thales).
