Note: not everything below is translated in English; sorry for the language mixture
Positions and studies
02-08/2009:
Chercheur au Département de Maths de l’Université de Californie à Davis
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
PhD thesis of mathematics and computer science, defended June 15th: Algebraic Invariants of Graphs and Reconstruction; a computer aided study; Advisor: Maurice Pouzet; Reviewers: Adriano Garsia, William Kocay Jury: Adrian Bondy, Marc Giusti, Michel Habib, Daniel Krob
1997:
Agrégation de Mathématiques, with rank 135 (French yearly national competition for hiring 300 teachers for high schools and
universities).
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 suis
fortement impliqué dans le projet logiciel international libre *-Combinat que je coordonne
depuis sa création en 2000.
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.
Codirection de la thèse de Tom Denton (UC Davis) avec Anne Schilling (2008-)
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 (N. Borie, A. Boussicault, T. Denton, F.
Descouens, X. Molinero, S. Pon, Q. 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.
Invited speaker
Sage days 20, CIRM, Luminy, France, February 2010 (mini-cours)
AMS Joint Mathematics Meeting, Special Session on Applications of ComputerAlgebra in Enumerative and Algebraic Combinatorics, San Diego, USA, January
2008;
Axiom Workshop 2007, RISC, Linz, Austria, June 2007;
Axiom Workshop 2006, RISC, Linz, Austria, April 2006;
Modular Invariants and Representations of Finite Groups: Theory and Computation,
Canterbury, UK, September 2003;
Cinq mois à l’Université de Californie à Davis (USA)
2007-2008:
Un an à l’Université de Californie à Davis (USA)
2006:
One month at UCSD (San Diego, USA), with 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:
16 months at the department of mathematics and computer sciences of the
Colorado School of Mines (Golden, Colorado).
Development of free softwares
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 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 cinquantaine de publications, avecune trentaine de contributeurs. Financements: ANR / NSF. Collaborateur industriel -2008: Sciface GMBH. Contribution personnelle à Sage depuis 2008: 50 tickets, 50 000 lignes de
code/doc/tests.
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)
Coorganisateur des Sage Days 20, mars 2010 (CIRM);
Organisateur des journées portes ouvertes de l’IUT d’Orsay, 2006 et 2007;
Membre de la pré-commission de recrutement maître de conférences de l’IUT
d’Orsay, 2006;
Président de jury de bac, session 2003, Vaux-en-Vellin;
System administrator of the department of maths and computer science of the CSM,
1999-2000 (UNIX: GNU/Linux).
Webmaster and system administrator (softwares and games for students) at the ENS
(UNIX: SunOS/Solaris).
Teaching experience
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, conception, gestion de projet).
J’apprécie l’interaction avec des étudiants en master ou en thèse. Cela dit, je m’adapte
aux besoins locaux, et prend plaisir à apprendre de nouvelles matières afin de les
enseigner.
Chercheur au Département de Maths, Université de Californie à Davis (2007-2009):
Cours informels de combinatoire au niveau doctorat (20h);
Maître de conférence at the IUT d’Orsay (Fall 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), Mathsgénérales (TD), Recherche Opérationnelle (Cours et TD), M1: responsable 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: Operational research, M1 Maths et
Ingénierie Mathématique (Course and recitations, 3×80h) M2 Statistiques Informatique et Techniques Numériques: Remise à niveauinformatique, Utilisation de l’outil informatique, Systèmes et réseauxinformatiques, responsable de la thématique informatique (Cours, TD et TP,
3×90h);
TA of Computer Science (Turbo-Pascal), first year of DEUG (32h, fall 1996), TA of Mathematics, first year of DEUG (Calculus II) (60h, fall 1996), TA of algebra and combinatorics, first year of DEUG (Calculus II) (40h,
spring 1998), TA of discrete maths, second year of DEUG (Calculus III) (32h + 20h, spring 1998
and 1999), Introduction to Maple, first year of the ENS Lyon (16h, October 1996),
Languages
French: mother tongue, english: fluent, german: read and written.