Francis Jambon

Francis Jambon serves as an Associate Professor in the Data Engineering department at ISAE-ENSMA, affiliated with the LIAS laboratory. His work spans both campuses in Poitiers (ENSIP) and Chasseneuil (ISAE-ENSMA), focusing on critical human-computer interaction research within safety-critical systems.

His research centers on formal methods for interactive system design, with expertise in safety-critical interfaces, task modeling, and error recovery. Key specialties include:

• Formal verification of human-machine interfaces
• Temporal constraint engineering for real-time systems
• Tool-supported task analysis frameworks
• Aerospace interface safety (notably Airbus case studies)
• Constraint-based error prevention techniques

Analysis of his 15 most recent publications reveals an evolutionary trajectory from foundational formal specification methods (1990s) toward integrated tool development and empirical validation (2000s). His work consistently bridges theoretical formal methods with practical aerospace and industrial applications, emphasizing safety-usability tradeoffs in critical systems. The 2010 Interacting with Computers paper represents his most cited work on comparative task modeling frameworks.

As a core member of LIAS Laboratory's Data Engineering team, Jambon collaborates extensively with researchers like Patrick Girard, Yamine Aït-Ameur, and Mickaël Baron. His recent 2024 contribution to the KMADe software environment demonstrates ongoing relevance in activity modeling tools. While no formal students are listed, his publications show consistent mentorship through co-authored conference papers with junior researchers.