Olivier Bournez

Postal (and now physical ) Address
LORIA & INRIA-Lorraine
Technopôle de Nancy Brabois - Campus Scientifique
615, rue du Jardin Botanique
BP-101
54602 Villers-lès-Nancy
France

NEW OFFICE : B264

Telephone
Direct: NEW PHONE NUMBER: (33) (0)3 54 95 84 18
Facsimile: (33) (0)3 83 27 83 19

E-mail: Olivier.Bournez@loria.fr

• Verification of analog and hybrid systems.
• Computations with analog models.
• Mixing game theory with computer science.
• Mixing probabilities with computations.

• See also (in french)
  • "Commented Curriculum-Vitae" below, and
  • Chapter 1 and 2 of "Habilitation à Diriger les Recherches (en cours de rédaction)" below

• Curriculum-Vitae
  • Habilitation à Diriger les Recherches (en cours de rédaction)
  • Non-commented Curriculum-Vitae (in french)
  • Commented Curriculum-Vitae (in french)
• Publications
• Co-authors
• Teaching
• Computer tools
• PhD Thesis

• Ecole Jeune Chercheurs Informatique Mathématique 2007, 18-24 Mars 2007, Nancy, France
• Workshop/Days/Talks
• Journée Théorie Algorithmique des Jeux. Réseaux de Télécommunications & de capteurs", Paris II, May 16th, 2006
• Continuous Dynamics and Computability, Workshop, Rue d'Ulm, May 3th 2006
• Journée QSL Théorie des jeux AlGorithmique et Applications Dans les réseAux", Nancy, February 28th, 2006
• International Workshop on "Computations on the continuum", Lisbon, June 27-28, 2005
• Formal Conferences
• IEHSC'05
• Computability in Europe 2006
• MCU 2007
• Computability in Europe 2007
• Computability in Europe 2008
• Computability in Europe 2009
• Projects or Networks
• ARA SSIA SOGEA
• Computability in Europe Network

• The Complexity Zoo
• The Virtual Action Group on Hybrid Systems
• The Constraint Archive
• The Rewriting Home Page