Welcome to my home page

I am researcher at Inria , in Sophia Antipolis research center. Actually, i am a member of the Stars team.

Research Interests

• Activity recognition systems:
  • synchronous event models of activities
  • generation of activity recognition engines with formal methods
• Verification with model checking techniques:
  • safeness of activity recognition engines
  • safe composition in component-based adaptive reactive middleware
• Synchronous modeling of real-time applications