Olivier Bournez. Page "Candidature"

Plan de cette page

• Partie A. Documents I, II, III, IV et V: CV, Liste de publications, Travaux effectués, HdR, Projet de Recherche.
• Partie B. Avis de Personalités: avis joints, emails pour certains
• Partie C. Compléments
  • Document de 3 pages synthétique extrait de pdf généré par formulaires web de candidature CNRS.

Partie A. Documents.

• Document I: Curriculum-Vitae
• Document II: Liste de Publications
• Document III: Rapport sur les travaux effectués à ce jour (avec un résumé page 5)
  • Les travaux concernent à ce jour
    1. La vision par ordinateurs
       • appariements d’images en présence d’erreurs
    2. Des outils pour la vérification par model-checking
       • Structures de données pour la représentation de polyèdres par les sommets
       • Développement d’une plateforme de mise à disposition d’outils logiciels pour la qualité et sûreté du logiciel
       • Outils pour la vérification par model-checking basés sur la réécriture
    3. La frontière tractabilité/non-tractabilité en vérification
       • Indécidabilité de la stabilité des systèmes linéaires seuillés
       • Contributions à quelques problèmes ouverts en basses dimensions
    4. La théorie de la complexité dans le modèle de Blum Shub Smale
       • Caractérisations algébriques et machines indépendantes de classes de complexité
       • Caractérisations de classes de complexité à la modèles finis
    5. La programmation par règles contrôlées par stratégies.
       • Outils de vérification par model-checking basés sur la réécriture
       • Génération de mécanismes cinétiques chimiques par réécriture
    6. La théorie de la réécriture en présence de probabilités ou de flou
       • Opérateurs de stratégies probabilistes
       • Logique de réécriture probabiliste
       • Méthodes valides et complètes pour la terminaison presque sûre de règles probabilistes
    7. La théorie des modèles de calculs à temps continu
       • Rédaction d’un survol du domaine de référence
       • Expression d’un point de vue sur les phénomènes d’hypercalculs.
       • Liens entre analyse récursive et fonctions R-récursives (caractérisation algébrique de la notion de calculabilité en analyse récursive)
       • Equivalence entre le GPAC de Shannon et l’analyse récursive
    8. Les modèles du dynamisme pour des systèmes concurrents et distribués
       • Contributions à la compréhension de la puissance de certains modèles de l’algorithmique distribuée.
       • Modèles du dynamisme pour le routage interdomaine
       • Modèles du dynamisme pour l’équilibrage de charge
• Document IV: Habilitation à Diriger les recherches (résumé disponible ici)
  • se focalise sur les points 3., 4., 7., 8. (théorie des calculs pour les systèmes continus)
    • Les chapitres 1 et 2 sont des chapitres de motivations
    • Le chapitre 3 est un survol du domaine
    • Les chapitres 4 et 5 présentent mes résultats personnels dans un cadre unifié.
    • L'annexe A présente un point de vue sur les hypercalculs, et quelques nouveaux résultats.
• Document V: Projet de recherche personnel (avec un résumé page 2)
  • rédigé dans l'absolu, sans référence à un laboratoire d'intégration
  • adaptable et qui sera adapté
  • Titre:
    • Théorie des Calculs pour les Systèmes Continus.
    • Applications aux modèles de calculs, à l'algorithmique distribuée, à la complexité algorithmique de problèmes en vérification et théorie du contrôle.
  • Mots clés: Calculabilité, Complexité, Vérification, Théorie du Contrôle, Modèles de Calculs, Modèles du parallélisme Massif, Algorithmique Distribuée.
  • Objectif principal:
    • L'objectif principal de ce projet de recherche est de contribuer à mieux comprendre la théorie des systèmes continus.
    • Cela est motivé par
      • comprendre de nouveaux modèles de calculs.
        • Les modèles de calculs étudiés incluent les modèles analogiques, comme ceux issus de l'électronique analogique, tout comme certains modèles récents de réseaux de capteurs ou du parallélisme massif.
      • comprendre la complexité algorithmique de problèmes en vérification et théorie du contrôle.
        • Je me focalise sur les propriétés de sûreté et d'atteignabilité. Je cherche à caractériser la complexité algorithmique des procédures de vérification automatique pour les systèmes continus et hybrides.
  • Méthodologie:
    • Je considère certaines classes de systèmes dynamiques, correspondantes à différentes classes de modèles. Certains modèles sont issus de machines de calculs à temps continu, comme le modèle du General Purpose Analog Computer de Claude Shannon de l'électronique analogique, ou des modèles issus du parallélisme massif pour les réseaux de capteurs. D'autres modèles sont issus de modèles de systèmes continus ou hybrides en vérification.
    • Je compare les propriétés calculatoires des modèles obtenus, en prouvant des résultats d'inclusions, ou de plongement, et je cherche à caractériser la complexité algorithmique de leur vérification ou contrôle, en caractérisant la complexité des problèmes de décision associés.
  • Perspectives:
    • Je propose 4 grands objectifs pour les années à venir dans ce document.
      • Objectif A: Comprendre s'il peut exister un un concept unificateur pour les systèmes à temps continus similaire à la thèse de Church.
        • Il s'agit de comprendre s'il peut exister l'équivalent d'une thèse de Church pour les systèmes à temps continu, avec un candidat: les équations différentielles vectorielles à second membre polynomial.
      • Objectif B: Comprendre s'il existe une théorie de la complexité bien fondée pour les systèmes à temps continu.
        • Les travaux actuels sur la théorie des calculs se placent essentiellement au niveau de la calculabilité. Il s'agit de comprendre s'il est possible d'aller vers de la complexité, en caractérisant la complexité algorithmique de problèmes de résolution numérique d'équations différentielles, ou en caractérisant algébriquement les classes de complexité de l'analyse récursive.
      • Objectif C: Mieux comprendre les effets du bruit et des imprécisions sur les calculs.
        • Il s'agit de comprendre si la vérification est décidable pour les systèmes robustes ou bruités, en considérant plusieurs modèles de bruit et de robustesse, et en étudiant les effets sur l'indécidabilité et la décidabilité.
      • Objectif D: Comprendre certains nouveaux modèles (exemples les réseaux de capteurs, les réseaux de télécommunications) du parallélisme massif par l'utilisation de la théorie des calculs pour les systèmes continus.
        • Il s'agit de se focaliser sur les modèles du parallélisme massif qui mènent à des évolutions qui correspondent à des dynamiques de populations, et à en comprendre la puissance calculatoire. Cela nécessite un travail sur la fidélité de l'approximation macroscopique/miscrocopique dans ces modèles d'une part, et une étude des propriétés calculatoires des modèles de populations obtenus d'autre part.

Partie B. Avis de Personnalités (avis exprimés pour candidature DR2 CNRS ou sur HdR)

Externes (par ordre alphabétique)

1. Avis d'Eugène Asarin, Professeur à Paris VII, Eugene.Asarin@liafa.jussieu.fr.
2. Avis de S. Barry Cooper, Professeur à Leeds, Angleterre, Coordinateur du réseau Computability in Europe, pmt6sbc@maths.leeds.ac.uk
3. Vincent D. Blondel, Professeur à Louvain, Belgique blondel@inma.ucl.ac.be
4. Avis de Nachum Dershowitz, Professeur à Tel Aviv, Israël. Par email mailto:nachumd@post.tau.ac.il
5. Avis de Giuseppe Longo, Directeur de Recherche CNRS à l’ENS Paris, Giuseppe.Longo@ens.fr
6. Avis de Cris Moore, Professeur Associé à Santa Fe, USA moore@cs.unm.edu
7. Rapport de soutenance HDR

Du laboratoire actuel INRIA Lorraine/LORIA (par ordre alphabétique)

1. Avis de Claude Kirchner, Directeur de Recherche INRIA, Par email mailto:Claude.Kirchner@loria.fr (mon responsable de projet INRIA jusqu’en 2007).
2. Avis de Jean-Yves Marion, Professeur à l’Ecole des Mines, Jean-Yves.Marion@loria.fr (responsable scientifique de l’équipe CARTE, dont je suis le responsable permanent).

Partie C. Compléments

• Document de 3 pages synthétique extrait de pdf généré par formulaires web de candidature CNRS.