Algorithmes  Analyse  Analyse Pire Cas  Analyse interprocédurale  Analyse statique  Analyse statique de programmes  Analyse statique modulaire  Antémémoire  Arithmétique en virgule flottante  Automates d'arbre  Cache  Calcul en virgule flottante  Certification  Compilation  Compilation  Complexité  Coq  Coq  Corps algébriques  Cryptographie  Domaine abstrait  Embarqué  Ensembles semi-algébriques  Fonctions semi-algébriques  Formalisation des mathématiques  Formalisme  Fractions  Géométrie algorithmique  Géométrie algébrique  Géométrie algébrique réelle  Informatique  Interprétation Abstraite  Interprétation abstraite  Itération de politiques  Langages formels  Logiciels -- Vérification  Logique informatique  Lru  Markov, Processus de  Model checking régulier  Monte-Carlo, Méthode de  Mémoire faiblement cohérente  Nombres algébriques  Optimisation  Optimisations à la compilation  Permutations  Plate-forme Frama-C  Plate-forme Why  Pointeurs  Polynômes  Polyèdres  Polyèdres convexes  Preuve formelle  Procédure de décision  Procédures récursives  Programmation Linéaire Paramétrique  Programmation linéaire  Programmation linéaire paramétrique  Programmation parallèle  Programmation récursive  Programmes concurrents  Programmes numériques  Recherche opérationnelle  Reconstruire un résultat rationnel  Représentation de Newton des polynômes  SAT/SMT  SMT  Saisie des données  Satisfiabilité modulo théorie  Structures de données  Substitution  Sécurité  Tas  Temps d'exécution pire cas  Temps réel  Vliw  Vérification  Vérification de programme  Wcet  Élimination des quantificateurs  

David Monniaux a rédigé la thèse suivante :


David Monniaux dirige actuellement les 2 thèses suivantes :

Informatique
En préparation depuis le 08-02-2018
Thèse en préparation

Mathématiques et Informatique
Soutenue le 19-12-2019
Thèse en préparation


David Monniaux a dirigé les 5 thèses suivantes :


David Monniaux a été rapporteur des 3 thèses suivantes :


David Monniaux a été membre de jury de la thèse suivante :