. ccNUMA  Action du groupe symétrique  Algorithmes d’insertion de Lecouvey  Algorithmes d’insertion de Schensted  Algorithmique et combinatoire des monoïdes  Algèbre de Hopf d’incidence  Algèbre d’invariants  Algèbre effective  Algèbre linéaire  Algèbre linéaire exacte  Algèbres commutatives  Algèbres de Hecke affine  Algèbres de Hopf  Analyse mathématique  Analyse réelle  Apprentissage automatique  Apprentissage automatisé  Apprentissage par renforcement  Apprentissage profond  Assistant de preuve Coq  Baccalauréat  Bases cristallines  Bibliothèque MAGMA  Bibliothèque mathématique générique  Bibliothèques logicielles pour l’algèbre linéaire dense  Calcul formel  Calcul hybride multicœur/GPU  Coefficients binomiaux  Cohen-Macaulay  Cohen-Macaulay, Module de  Combinatoire algébrique  Communication-avoiding  Compilation certifiée en Coq  Complétion de Knuth–Bendix  Complétion de Squier  Conjecture d’Ulam  Coq  Données massives  Ensemble partiellement ordonné  Ensembles partiellement ordonnés  Espèce  Exploration informatique  Factorisation LU  Fonctions de parking  Formalisation de langages centrés données  Graphes  Graphes, Théorie des  Groupe agissant sur un ensemble partiellement ordonné  Groupes d'automorphismes  Groupes de Coxeter  Groupes de permutations  Groupes de permutations oligomorphes  Génération à un isomorphisme près  Homologie  Hopf, Algèbres de  Hyperarbre  Informatique fondamentale  Intel Xeon Phi  Libre de somme  Logique informatique  Majorant  Matrice dense/creuse  Meta-learning  Minorant  Modèle des chemins de Littelmann  Monoïdes  Monoïdes plaxiques  Multiplication matricielle dense/SpMV  Multiprocesseurs  Ordonnancements/jeu de galet  Partition  Patrons de conception  Placement des processus légers  Polynômes harmoniques  Poset  Preuve formelle  Problème des syzygies  Problème du mot  Processeurs graphiques  Processus de décision markovien  Profils  Programmation parallèle  Présentations cohérentes  Présentations convergentes  Randomisation  Reconstruction  Représentations d'algèbres  Représentations de semigroupes  Réécriture  Réécriture, Systèmes de  SQL  Schur  Sous-ensembles  Systèmes de blocs d’imprimitivité  Systèmes linéaires  Systèmes linéaires denses  Syzygies  Sémantique formelle de SQL  Tableaux de Young  Théorie des invariants  Théorie des invariants effective  Théorie des représentations  Théorie des représentations combinatoire et effective  Théorèmes -- Démonstration automatique  Tours d'algèbres  

Nicolas M. ThiÉry dirige actuellement la thèse suivante :

Mathématiques et Informatique
En préparation depuis le 01-09-2019
Thèse en préparation


Nicolas M. ThiÉry a dirigé les 3 thèses suivantes :


Nicolas M. ThiÉry a été président de jury des 5 thèses suivantes :

Mathématiques et Informatique
Soutenue le 19-12-2019
Thèse soutenue
Mathématiques
Soutenue le 08-12-2016
Thèse soutenue
Mathématiques
Soutenue le 10-07-2015
Thèse soutenue

Nicolas M. ThiÉry a été rapporteur des 2 thèses suivantes :


Nicolas M. ThiÉry a été membre de jury des 2 thèses suivantes :