Qualification dans la section 25 du CNU; 2010: Prime d’Excellence Scientifique;
2008:
Habilitation à diriger des recherches, soutenue le 10 décembre à Orsay; Sujet: Algèbre combinatoire et effective: des graphes aux algèbres de Kac vial’exploration informatique Rapporteurs: François Bergeron, Peter Cameron, Bernard Leclerc; Jury: Jean-Benoît Bost, Mireille Bousquet-Mélou, Alain Lascoux (président), Jean-Yves Thibon, Léonid Vainerman, Paul Zimmermann;
Thèse de mathématique-informatique, soutenue le 15 juin à l’UCBL; Sujet: Invariants algébriques de graphes et reconstruction, une étude expérimentale;
Directeur: Maurice Pouzet; Rapporteurs: Adriano Garsia, William Kocay Jury: Adrian Bondy, Marc Giusti, Michel Habib, Daniel Krob;
1997:
Agrégation de Mathématiques, option informatique (135e);
Mon domaine de recherche est la combinatoire algébrique. D’une part, j’utilise des outils
d’algèbre commutative, et notamment de théorie des invariants, pour étudier des problèmes
d’isomorphisme en combinatoire. D’autre part, je recherche et étudie des modèles combinatoires
simples, mais riches, pour décrire des structures algébriques et leurs représentations:
groupes de Coxeter et leurs algèbres de Hecke (affines), monoïdes finis, cristaux,
algèbres de Hopf et de Kac, algèbres de Steenrod. Mon outil principal est l’exploration
informatique. De ce fait, les aspects algorithmiques et effectifs tiennent une place
particulière dans mon travail et je coordonne depuis sa création en 2000 le projet logiciel
international libre *-Combinat, devenu en 2008 une sous-communauté majeure de
Sage.
Revues d’audience internationale avec comité de lecture
[1] Jason Bandlow, Anne Schilling, and Nicolas M. Thiéry. On the uniqueness of
promotion operators on tensor products of type a crystals. Journal of AlgebraicCombinatorics, 31, Mai 2010. arXiv:0806.3131 [math.CO].
[2] Florent Hivert, Anne Schilling, and Nicolas M. Thiéry. Hecke group algebras
as quotients of affine Hecke algebras at level 0. J. Combin. Theory Ser. A,
116(4):844–863, 2009. arXiv:0804.3781v3 [math.RT].
[3] Florent Hivert and Nicolas M. Thiéry. The Hecke group algebra of a
Coxeter group and its representation theory. J. Algebra, 321(8):2230–2258, 2009.
arXiv:0711.1561 [math.RT].
[4] Pierrick Gaudry, Éric Schost, and Nicolas M. Thiéry. Evaluation properties
of symmetric polynomials. Internat. J. Algebra Comput., 16(3):505–523, 2006.
http://hal.inria.fr/inria-00000629.
[5]
Florent Hivert and Nicolas M. Thiéry. MuPAD-Combinat, an open-source package
for research in algebraic combinatorics. Sém. Lothar. Combin., 51:Art. B51z, 70 pp.
(electronic), 2004. http://igd.univ-lyon1.fr/~slc/wpapers/s51thiery.html.
http://mupad-combinat.sf.net/.
[6] Jean-Christophe Novelli, Jean-Yves Thibon, and Nicolas M. Thiéry. Algèbres
de Hopf de graphes. C. R. Math. Acad. Sci. Paris, 339(9):607–610, 2004.
doi:10.1016/j.crma.2004.09.012, arXiv:0812.3407v1 [math.CO].
[7] Nicolas M. Thiéry and Stéphan Thomassé. Convex cones and SAGBI bases
of permutation invariants. In Invariant theory in all characteristics, volume 35 of
CRM Proc. Lecture Notes, pages 259–263. Amer. Math. Soc., Providence, RI, 2004.
arXiv:math/0607380 [math.AC].
[8] Florent Hivert and Nicolas M. Thiéry. Deformation of symmetric functions and
the rational Steenrod algebra. In Invariant theory in all characteristics, volume 35
of CRM Proc. Lecture Notes, pages 91–125. Amer. Math. Soc., Providence, RI, 2004.
arXiv:0812.3056v1 [math.CO].
[9] Maurice Pouzet and Nicolas M. Thiéry. Invariants algébriques de graphes
et reconstruction. C. R. Acad. Sci. Paris Sér. I Math., 333(9):821–826, 2001.
arXiv:0812.3079v1 [math.CO].
[10] Nicolas M. Thiéry. Algebraic invariants of graphs: a study based on computer
exploration. SIGSAM Bulletin (ACM Special Interest Group on Symbolic andAlgebraic Manipulation), 34(3):9–20, September 2000. arXiv:0812.3082v1 [math.CO].
Actes de conférences internationales avec comité de lecture
[1] Florent Hivert, Anne Schilling, and Nicolas M. Thiéry. The biHecke monoid of
a finite Coxeter group. In 22nd Annual International Conference on Formal PowerSeries and Algebraic Combinatorics (FPSAC 2010), March 2010. arXiv:0912.2212v1
[math.CO], accepted.
[2] Florent Hivert, Anne Schilling, and Nicolas M. Thiéry. Hecke
group algebras as degenerate affine Hecke algebras. In 20th AnnualInternational Conference on Formal Power Series and AlgebraicCombinatorics (FPSAC 2008), pages 611–624, September 2008.
http://www.dmtcs.org/dmtcs-ojs/index.php/proceedings/article/view/dmAJ0153.
[3] Florent Hivert and Nicolas M. Thiéry. Representation theories of some towers of
algebras related to the symmetric groups and their Hecke algebras. In Proceedings ofFPSAC’06 San Diego, 2006. arXiv:math/0607391v2 [math.RT].
[4] Maurice Pouzet and Nicolas M. Thiéry. Some relational structures with
polynomial growth and their associated algebras. In Proceedings of FPSAC’05Taormina, 2005. arXiv:math/0601256 [math.CO].
[5] Nicolas M. Thiéry. Computing minimal generating sets of invariant rings of
permutation groups with SAGBI-Gröbner basis. In Discrete models: combinatorics,computation, and geometry (Paris, 2001), Discrete Math. Theor. Comput. Sci.
Proc., AA, pages 315–328 (electronic). Maison Inform. Math. Discrèt., Paris, 2001.
http://www.dmtcs.org/pdfpapers/dmAA0123.pdf.
Articles soumis
[1] Marie-Claude David and Nicolas M. Thiéry. Exploration of finite dimensional
kac algebras and lattices of irreducible intermediate subfactors. Submitted, 83 pages,
arXiv:0812.3044 [math.QA], December 2008.
Thèse de doctorat et d’habilitation, communications
[1] Nicolas M. Thiéry. Algèbre Combinatoire et Effective; des graphes aux algèbres
de Kac via l’exploration informatique. Mémoire d’Habilitation à Diriger des
Recherches, December 2008. Laboratoire de Mathématiques d’Orsay, Université Paris
Sud, arXiv:0912.2619v1 [math.CO].
[2] Conrado Martínez, Xavier Molinero, and Nicolas M. Thiéry. Generació
ordenada de classes d’estructures combinatòries (ordered generation of combinatorial
structures). In In Jornada de Recerca EPSEM 2006, pages 83–84. EPSEM (Technical
College of Manresa <http://www.eupm.upc.es/>), Remsa S.L. Manresa, April 2006.
http://www.epsem.upc.edu/recerca/jornada-de-recerca-epsem-20-d-abril-de-2006/DossierJornadadeRecerca.pdf.
ISBN: 84-86784-05-0. ISBN: 978-84-86784-05-8.
[3] Nicolas M. Thiéry. PerMuVAR, a library for computing in invariant rings
of permutation groups. Software demonstration, MEGA 2000, Bath, UK, 2000.
http://permuvar.sourceforge.net/.
[4] Nicolas M. Thiéry. Algebraic invariants of graphs; an experimental study. Poster,
ISSAC’99, Vancouver, CANADA, 1999. Awarded best poster prize.
Direction de la thèse de Nicolas Borie (automne 2008-);
Direction du stage de DEA de Nicolas Borie (printemps 2008);
Rapporteur et membre du jury de la thèse de Mr Rahmany (2009, Univ Paris 6);
Participation à trois jurys de thèse: Xavier Buchwalder (2009, Univ. Lyon
I), François Descouens (2007, Univ. Marne-la-Vallée), Xavier Molinero (2005,
Barcelone);
Coordination de *-Combinat (voir ci-dessous), incluant l’encadrement des
contributions d’étudiants en thèse: Borie, Boussicault, Denton, Descouens,
Molinero, Pon, Wang, etc.
Encadrement de sept projets tutorés, L1, IUT d’Orsay;
Encadrement de quatre TER (Orsay, Lyon);
Encadrement de deux projets logiciel longs, L3, Colorado School of Mines.
AMS Joint Mathematics Meeting, Special Session on Applications of ComputerAlgebra in Enumerative and Algebraic Combinatorics, San Diego, USA, Janvier
2008;
Axiom Workshop 2007, RISC, Linz, Austria, Juin 2007;
Axiom Workshop 2006, RISC, Linz, Austria, Avril 2006;
Modular Invariants and Representations of Finite Groups: Theory and Computation,
Canterbury, UK, septembre 2003;
Cinq mois à l’Université de Californie à Davis (USA);
2007-2008:
Un an à l’Université de Californie à Davis (USA);
2006:
Un mois à l’Université de Californie à San Diego (USA), avec A. Garsia;
2004:
Quatre mois Architecte Développeur Sénior du département Sécurité
d’IDEALX (http://www.idealx.com/): gestion de montée en charge et tests
fonctionnels pour l’Infrastructure à Clef Publique IDX-PKI (logiciel libre en
Perl/PHP);
1999-2000:
Seize mois au Département de Mathématiques et d’Informatique de la
Colorado School of Mines à Golden, Colorado (USA).
Développement logiciel libre
MuPAD-Combinat (http://mupad-combinat.sf.net/) puis Sage-Combinat (http://combinat.sagemath.org/): Je coordonne depuis sa création en décembre 2000 ce projet logiciel libre (licence LGPL/GPL)
dont la mission est d’améliorer le système de calcul mathématique Sage (précédemment MuPAD)
comme plateforme pour l’exploration informatique en combinatoire algébrique et énumérative,
en fédérant et mutualisant les efforts de développements des chercheurs, et en réutilisant autant
que possible des codes existants. Son utilisation a joué un rôle essentiel dans une soixantaine de publications, avec une trentainede contributeurs. Financements: ANR/NSF/Google. Collaborateur industriel -2008: Sciface GMBH. Contribution personnelle à Sage depuis 2008: auteur de 55 tickets et 55 000 lignes de
code/doc/tests; référé de 27 tickets.
Tâches administratives, recherche de financements
Membre du comité de sélection Poste MCF IUT Orsay 1740 (27ème), 2010.
Membre du projet NSF «Focused Research Group: Affine Schubert Calculus» http://garsia.math.yorku.ca/dokuwiki/doku.php, 500 k$, 2007-2010 Coordonnateurs: Jennifer Morse, Drexel University, Anne Schilling, UC Davis, Mark
Shimozono, Virginia Tech. Membres: Jason Bandlow, Penn/UC Davis, Francois Descouens, Fields Institute,
Thomas Lam, Harvard, Luc Lapointe, Universidad Talca, Huilan Li, Drexel
University, Mike Zabrocki, York University. Outre ma participation à la recherche, je joue le rôle de consultant sur les aspects
effectifs et algorithmiques, et suis en charge de la coordination des développements
logiciels. À ce titre, j’ai rédigé la section “calcul” du dossier lors de la demande de
projet (4 pages sur 23).
Coorganisateur de six rencontres de développeurs de *-Combinat, en juin 2004
(Rouen), juin (Orsay) et septembre 2007 (Banff), janvier (Orsay) et juillet 2009
(RISC), juin 2010 (Orsay);
Coorganisateur des Sage Days 20, mars 2010 (CIRM, 110 participants);
Organisateur des journées portes ouvertes de l’IUT d’Orsay, 2006 et 2007;
Membre de la pré-commission de recrutement MCF IUT d’Orsay, 2006;
Président de jury de bac, session 2003, Vaux-en-Vellin;
Administrateur système du département de mathématiques et d’informatique de la
Colorado School of Mines, 1999-2000: installation et gestion de 25 postes (UNIX: GNU/Linux);
Webmestre et co-administrateur-système élève à l’ENS, 1993-1999 (UNIX:
SunOS/Solaris).
Enseignement (≈1900 heures équiv. TD depuis 1996)
Mon coeur de métier est l’enseignement des mathématiques aux étudiants informaticiens
(mathématiques discrètes, algèbre, etc.) et réciproquement de l’informatique (programmation,
algorithmique, etc.) aux mathématiciens. Mon objectif est d’exploiter ma double culture pour
faire découvrir, et autant que possible aimer, l’autre domaine, afin d’inciter les étudiants de
tous niveaux à franchir les frontières disciplinaires. De même, j’ai une préférence pour des
enseignements où je peux utiliser mes compétences en recherche et en développement logiciel
(combinatoire, calcul formel et algébrique, conception logicielle, gestion de projet), et j’apprécie
l’interaction avec des étudiants en master ou en thèse. Mais me suis toujours adapté aux
besoins locaux, en prenant plaisir à élargir mon spectre de compétences en enseignant de
nouvelles matières.
Chercheur au Département de Maths, Univ. de Californie à Davis (2007-2009):
Cours informels de combinatoire au niveau doctorat (20h);
Maître de conférence à l’IUT d’Orsay (automne 2004-2007, 2009-):
L1: Maths générales, Calcul formel pour les Mathématiques (Cours et TP), ProjetProfessionnel Personnalisé, Projets Tuteurés, L2: Algo et Langage C++ (TD et TP), Java (Cours, TD et TP), Maths générales
(TD), Recherche Opérationnelle (Cours et TD), M1: montage et responsabilité de l’option Algèbre et Calcul Formel de la
préparation à l’agrégation d’Orsay (2 x 50h);
L1 Filière Ingénieur 2000, Université de Marne-la-Vallée: C++ (TP, 20h), L3 Maths: Optimisation discrète (TD, 2×27h), M1 Maths et Ingénierie Mathématique: Recherche opérationnelle (Cours, TD et TP,
3×80h), M2 Statistiques, Informatique et Techniques Numériques: montage etresponsabilité de la thématique informatique, Remise à niveau informatique,Utilisation de l’outil informatique, Systèmes et réseaux informatiques (Cours, TD
et TP, 3×90h);