. 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  Combinatoire algébrique  Coq  Ensembles partiellement ordonnés  Exploration informatique  Groupes de permutations  Monoïdes  Partition  

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

Matrices de Cartan modulaires des monoïdes finis; application aux représentations modulaires de T_n

par Balthazar Charles sous la direction de Nicolas M. ThiÉry - université Paris-Saclay

Informatique mathématique

En préparation depuis le 01-09-2019

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

Classification of P-oligomorphic groups, conjectures of Cameron and Macpherson

par Justine Falque sous la direction de Nicolas Thiéry - Université Paris-Saclay (ComUE)

Mathématiques et Informatique

Soutenue le 29-11-2019

Théorie des représentations combinatoire de tours de monoïdes : Application à la catégorification et aux fonctions de parking

par Aladin Virmaux sous la direction de Nicolas Thiéry - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 13-06-2016

Calcul des invariants de groupes de permutations par transformée de Fourier

par Nicolas Borie sous la direction de Nicolas Thiéry - Paris 11

Mathématiques

Soutenue le 07-12-2011

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

Meta-Learning as a Markov Decision Process

par Lisheng Sun-Hosoya sous la direction de Isabelle Guyon - Université Paris-Saclay (ComUE)

Mathématiques et Informatique

Soutenue le 19-12-2019

Study of plactic monoids by rewriting methods

par Nohra Hage sous la direction de Stéphane Gaussent et de Philippe Malbos . - Lyon

Mathématiques

Soutenue le 08-12-2016

Nombres de Schur classiques et faibles

par Fanasina Alinirina Rafilipojaona sous la direction de Shalom Eliahou - Littoral

Mathématiques

Soutenue le 10-07-2015

Solving dense linear systems on accelerated multicore architectures

par Adrien Rémy sous la direction de Marc Baboulin - Paris 11

Informatique

Soutenue le 08-07-2015

Repenser la bibliothèque réelle de Coq : vers une formalisation de l'analyse classique mieux adaptée

par Catherine Lelay sous la direction de Sylvie Boldo et de Guillaume Melquiond . - Paris 11

Informatique

Soutenue le 15-06-2015

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

Hyperarbres et Partitions semi-pointées : aspects combinatoires, algébriques et homologiques

par Bérénice Delcroix-Oger sous la direction de Frédéric Chapoton - Lyon 1

Mathématiques

Soutenue le 21-11-2014

Multiplication matricielle efficace et conception logicielle pour la bibliothèque de calcul exact LinBox

par Brice Boyer sous la direction de Jean-Guillaume Dumas - Grenoble

Mathématiques

Soutenue le 21-06-2012

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

Traduction mécanisée et certifiée en Coq d'une algèbre relationnelle étendue pour SQL vers une algèbre imbriquée

par Mohammed Houssem Eddine Hachmaoui sous la direction de Evelyne Contejean et de Véronique Benzaken . - université Paris-Saclay

Informatique

Soutenue le 16-10-2020

Sur l'algèbre et la combinatoire des sous-graphes d'un graphe

par Xavier Buchwalder sous la direction de John Adrian Bondy - Lyon 1

Mathématiques

Soutenue le 30-11-2009