I am an associate professor in computer science at Université d'Orléans and a member of LIFO (Laboratoire d’Informatique Fondamentale d’Orléans), within the LMV team. My research focuses on the verification of reconfiguration in distributed systems, ensuring both the correctness of the reconfiguration process and of the target configuration.
Research Interests: Formal verification of
- Reconfiguration in Distributed Environment
- Configuration of Highly Variable Systems
- Model transformation in Model Driven Engineering
"Intuition is the art, peculiar to the human mind, of working out the correct answer from data that is, in itself, incomplete or even, perhaps, misleading." - Isaac Asimov