PasPublic-was.Bibi (old fashioned version) / PasPublic-wasBibi (more fancy version of it)

Bibi

click here for a more fancy version of same webpage

Page tres ancienne. Olivier Bournez. Page "Candidature"

Plan de cette page

Partie A. Documents I, II, III, IV et V, VI: CV, Liste de publications, Travaux effectu�s, HdR, Projet de Recherche, Enseignements.
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 DR2 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 repris dans les lignes html qui suivent:
- Les travaux PASSES concernent � ce jour

(l'HDR et le projet de recherche se focalisent seulement sur certains points: essentiellement 3,7,8)

La vision par ordinateurs
- appariements d�images en pr�sence d�erreurs
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
La fronti�re tractabilit�/non-tractabilit� en v�riﬁcation
- Ind�cidabilit� de la stabilit� des syst�mes lin�aires seuill�s
- Contributions � quelques probl�mes ouverts en basses dimensions
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 ﬁnis
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
La th�orie de la r��criture en pr�sence de probabilit�s ou de ﬂou
- 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
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
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 repris dans les lignes html qui suivent:
- 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.
Document VI: Enseignements Effectu�s
- Cours
  - DEA, puis M2 "V�rification Algorithmique"
    - DEA Universit� Nancy I.
    - Total: 99H sur la p�riode septembre 2000-septembre 2008.
    - Contenu g�n�ral: Cours sur la v�rification par les techniques du Model-Checking. Ce cours fait suite � un cours d'introduction donn� par un autre enseignant (initialement Micha�l Rusinowitch, actuellement Stephan Merz).
    - Plan: techniques de gestion de l'explosion combinatoire, abstraction, raffinement, gestion des sym�tries, raffinement automatique de partitions, pouvoir de distinction des logiques temporelles, automates temporis�s, syst�mes hybrides.
    - Contenu pr�cis: cours au tableau, mais mes notes sont disponibles ici
  - M2 "S�mantique des syst�mes parall�les et distribu�s"
    - M2 Universit� Nancy I.
    - Total: 6h sur la p�riode septembre 2005-septembre 2006.
    - Contenu g�n�ral: compl�ments sur certains mod�les et les techniques de v�rification.
    - Plan: lien entre logique et automates (th�or�me de Bucchi), v�rification des syst�mes probabilistes.
    - Contenu pr�cis: cours au tableau, mais mes notes sont disponibles ici
  - DEA "Complexit�"
    - DEA Universit� Nancy I.
    - Total: 30H sur la p�riode septembre 2002-septembre 2005.
    - Contenu g�n�ral: Pr�sentation de la th�orie de la complexit�.
    - Plan: Introduction, Motivation, Classes de Complexit� Standards, R�ductions, Probl�mes Complets, Classes Parall�les, Classes Probabilistes.
    - Contenu pr�cis: cours au tableau, mais mes notes sont disponibles ici
  - Ma�trise, puis M1 "Algorithmes et Complexit�"
    - Ma�trise Universit� Nancy I.
    - Total: 90H sur la p�riode septembre 2004-septembre 2008.
    - Contenu g�n�ral: Introduction � l'algorithmique et � la complexit�.
    - Plan: Programmation Dynamique, Algorithmes Gloutons, Introduction � la th�orie de la complexit�, NP-compl�tude, Algorithmes d'Approximation.
    - Contenu pr�cis: cours au tableau, mais mes notes sont disponibles ici
- Travaux Dirig�s
  - TD "Algorithmes et Complexit�"
    - M1 Universit� Nancy I.
    - Total: 15h sur la p�riode septembre 2005-septembre 2006.
    - Contenu g�n�ral: TDs du cours du m�me nom.
  - Encadrement "Initiation � la Recherche"
    - �cole des Mines de Nancy.
    - Total: 8H en 2005.
  - TD "Algorithmique des Syst�mes Parall�les et Distribu�s"
    - Ecole Ing�nieur ESIAL 2�me ann�e.
    - Total: 48H sur la p�riode janvier 2002-septembre 2004.
  - TD "Langage C"
    - Universit� Lyon I,
    - Deug MIASS 2�me ann�e.
    - Volume Total: 24h sur la p�riode septembre 1997-septembre 1998.
  - TD "Analyse et Synth�se d'Images"
    - Magist�re ENS Lyon 1i�re ann�e.
    - Total: 32H sur la p�riode septembre 1997-septembre 1998.
  - TD "Langage Pascal"
    - Universit� Lyon I, Deug STPI 1i�re ann�e.
    - Total: 14H sur la p�riode septembre 1995-septembre 1996.
  - TD "lambda$-calcul"
    - Magist�re ENS Lyon 1i�re ann�e.
    - Total: 32H sur la p�riode septembre 1995-septembre 1996.
  - TD "Calculabilit�"
    - Magist�re ENS Lyon 1i�re ann�e.
    - Total: 32H sur la p�riode septembre 1995-septembre 1996.

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

Externes (par ordre alphab�tique)

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

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

Avis de Claude Kirchner, Directeur de Recherche INRIA, Par email mailto:Claude.Kirchner@loria.fr (mon responsable de projet INRIA jusqu�en 2007).
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. Δ