Jean-Marc Mota

Jean-Marc Mota is a Researcher at ISAE-ENSMA affiliated with the LIAS laboratory, specializing in formal methods for interactive and multimodal systems through proof-based techniques and Event B methodology. His work bridges theoretical verification with practical interface design.

His core research areas include:

• Formal Methods
• Software Verification
• Interactive Systems
• Multimodal Interfaces
• Process Algebra

Publications from 2006–2014 reveal consistent focus on applying formal verification to interactive systems, emphasizing proof-based validation of multimodal interfaces and process algebra models to ensure reliability in user-centric applications.

Mota operates within the Data Engineering team at LIAS—a joint laboratory between ISAE-ENSMA and ENSIP (University of Poitiers)—alongside Automatic Control and Real Time teams, focusing on sensorial engineering applications across campuses in Chasseneuil and Poitiers.