Idir Ait-Sadoune

Idir Ait-Sadoune serves as a Lecturer in Data Engineering at ISAE-ENSMA, France, where he is an active member of the Data Engineering Team within the LIAS laboratory. His academic position includes temporary teaching and research responsibilities (ATER) focused on formal methods and software engineering applications.

He earned his PhD in 2010 from ENSMA with a dissertation titled Modélisation et Vérification Formelles de Compositions de Services. Une Approche Fondée sur le Raffinement et la Preuve, establishing his expertise in formal verification techniques. His educational background centers on computer science with specialization in formal modeling and system validation.

Ait-Sadoune's research spans critical domains in computer science, with particular emphasis on:

• Formal Methods: Pioneering applications of Event-B for system specification and verification
• Software Engineering: Advancing web services composition and data repository design
• Human-Computer Interaction: Developing formal models for multimodal interactive systems
• Verification & Validation: Creating proof-based approaches for system correctness

His publication trajectory from 2006-2018 reveals consistent innovation in formal techniques, particularly through Event-B methodology applied to web services and multimodal interfaces. The research demonstrates strong interdisciplinary connections between theoretical formal methods and practical software engineering challenges, with increasing focus on data engineering applications in later works.

Within the LIAS laboratory ecosystem, Ait-Sadoune collaborates with Automatic Control and Real Time teams, contributing formal verification expertise to cross-disciplinary projects while maintaining his core focus on data-intensive system engineering.