David Monniaux

Je suis chargé de recherche au Centre National de la Recherche Scientifique (CNRS), département sciences et technologies de l'information et de l'ingéniérie, affecté au laboratoire VERIMAG. Je suis également professeur chargé de cours à l'École Polytechnique.

Si cela a de l'importance pour vous (sollicitations pour jurys de thèses etc.), je suis titulaire de l'habilitation à diriger les recherches.

Travail

Recherche

Voir mes publications (et aussi ma liste sur HAL).

Intérêts

Je me suis intéressé à

• la cryptographie, et plus particulièrement la factorisation de grands nombres entiers (voir mon rapport de stage sur une méthode de factorisation par réduction de réseaux)
• les systèmes de preuve en logique d'ordre supérieur, spécialement par isomorphisme de Curry-Howard
• l'interprétation abstraite, avec Patrick Cousot
• l'analyse de protocoles cryptographiques par interprétation abstraite.
• l'analyse de programmes probabilistes par interprétation abstraite (sujet de thèse).

Mon principal sujet de recherche actuel est l'analyse statique par interprétation abstraite de programmes, notamment pour y détecter de possibles erreurs à l'exécution. J'ai notamment participé à l'analyseur ASTRÉE, utilisé sur le code critique des commandes de vol électrique des avions Airbus.

Logiciels

En plus de participations à divers projets logiciels, je maintiens actuellement :

• Mjollnir, un logiciel d'élimination de quantificateurs dans la théorie linéaire des réels

• gnytool, une procédure de décision pour la logique GNY (voir ici)

Participations à des projets de recherche

Actuels

• ANR ASOPT

Passés

• RNTL ASTREE, produisant notamment l'analyseur statique Astrée - démontrer automatiquement et statiquement l'absence d'erreurs à l'exécution dans du code embarqué critique temps-réel.
• DAEDALUS - analyse des systèmes informatiques embarqués en aéronautique.
• Analyse statique probabiliste, en coopération avec le Commissariat à l'Énergie Atomique.

Enseignement

• École Polytechnique (ma page là-bas)
• Université de la Réunion:
  • poly
  • transparents

Diffusion des connaissances

• Fiabilité des logiciels, de l'A380 à Microsoft (une conférence grand public que j'ai donnée sur le problème de la fiabilité du logiciel, avec quelques exemples concrets).

Divers

• Voir aussi ma page de liens.
• Mes programmes.

Ces pages WWW sont rédigées, dans la mesure du possible, dans un HTML standard. Elles sont conçues pour s'afficher correctement dans n'importe quel navigateur appliquant les standards, tout en offrant aux personnes équipées de navigateurs graphiques une apparence agréable.

Mon adresse de courrier electronique est David.MonniauxZOINX@imag.fr (ôtez le ZOINX, piège pour les robots collecteurs d'adresses utilisés par les personnes indélicates qui envoient du courrier commercial non solicité.