I am associate professor in computer science at Université d'Orléans in the LMV team. I focus on formal verification on distributed systems, especially in their reconfiguration.
Research Interests: Formal verification of
- Distributed Computing
- Model transformation in Model Driven Engineering
- Reconfiguration in Cloud environment
"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