Research interests

• My recent work is related to:
  • Theories of computations (computability, complexity) for continuous systems
  • Continuous computational models of computations and their properties.
  • Verification of analog and hybrid systems (hardness of associated problems, datastructures, ...)
  • Algorithmic game theory and evolutionary game theory.
  • Algorithmic for telecommunication networks and sensor networks.
  • Proof methods for probabilistic Systems.
• See also (in french)
  • "Commented Curriculum-Vitae" below, and
  • Chapter 1 and 2 of "Habilitation à Diriger les Recherches" below for my motivations behind all that.

Some links related to me

• Curriculum-Vitae
  • Habilitation à Diriger les Recherches
  • Non-commented Curriculum-Vitae (in french)
  • Commented Curriculum-Vitae (in french)
  • Un projet de recherche personnel
• Publications
• Co-authors
• Teaching
• Computer tools
• PhD Thesis