Indexcv
click here for a more fancy version of same webpageResearch 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.