Yamine Ait-AmeurView profile
Professor
Yamine Ait-Ameur is a Full Professor in Data Engineering at ISAE-ENSMA (Institut Supérieur de l'Aéronautique et de l'Espace - École Nationale Supérieure de Mécanique et d'Aérotechique). He maintains dual laboratory affiliations with LIAS (Laboratoire d'Ingénierie des Applications de la Connaissance et des Systèmes) at both ENSIP (École Nationale Supérieure d'Ingénieurs de Poitiers) and ISAE-ENSMA campuses, reflecting his cross-institutional research activities. Professor Ait-Ameur's research program centers on formal methods for data engineering, with particular expertise in Event-B modeling applied to ontology-based database systems and multimodal human-computer interaction. His work bridges theoretical computer science with practical engineering applications, developing frameworks like OntoDB/OntoQL that enable semantic data representation and querying. His research trajectory shows evolution from foundational work in formal verification of numerical computations (1990s) to sophisticated applications in semantic web technologies, industrial automation systems, and multimodal interfaces (2000s-present). The publication record reveals strong thematic continuity across three decades, with recent work emphasizing formal verification of interactive systems (2013-2017), semantic data engineering methodologies, and multimodal interface design. His scholarly output demonstrates consistent international collaboration, particularly with researchers in Spain, Tunisia, and other European countries, as evidenced by co-authored publications and conference organization. Professor Ait-Ameur has played significant editorial roles including guest editing special issues of Data and Knowledge Engineering (2010) and Computers in Industry (2014), and co-organizing the Models and Data Engineering (MEDI) conference series. His research has practical applications in industrial automation, geological modeling, and transportation systems, as indicated by multiple publications addressing real-world implementation challenges.






