I'm full professeur in computer sciences at University of Bourgogne Franche-Comté at FEMTO-ST Institue. Since 1999 with my PhD defense, my research area is around the model-based testing. I'm writing a book about the challenges of the test industrialisation with Bruno Legeard and Natacha Pickaert in Dunod Edition and more than 90 scientific articles. I'm interesting in 5 mains topics :
to study and to define semantic of modeling languages.
to model for test purpose by adaptation and interpretation of modeling languages in the context of Model-Based Testing.
to develop interpretation algorithms using constraint logic programming and SMT proof technology.
to define test selection criteria for Model-Based Testing with model structural coverage criteria or (security) properties / scenarios.
to explore Model-Based Testing process and aspects of software engineering related to the integration with engineering activities and requirements management and test automation.

I'm also exploring the model usage in System Multi-Agent.