Olivier Bournez

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

Page last modified on October 16, 2008, at 10:39 AM