Welcome to Nicolas' home

__ Synthèse

Doctorat info-maths (1999), habilitation (2008), qualifié 25e et 27e sections, PES
Encadrement de thèses : Nicolas Borie et coencadrement de Tom Denton (2008-2011)
Publications internationales avec comité : journaux : 13 (p. 7), actes : 8 (p. 8)

Enseignement : 2050 heures en informatique et mathématiques (p. 15)

Thématique de recherche : combinatoire algébrique et énumérative (p. 20)

Fondateur, coordinateur et développeur du projet logiciel Sage-Combinat (p. 21)

Mots clefs : structures combinatoires (monoïdes, permutations, graphes, treillis, ...)
combinatoire et représentations des algèbres (de Hopf, de Hecke, de Kac, de Steenrod, ...)

Points forts : exploration informatique, contacts internationaux, animation d’équipe

Documents joints à ce dossier :

• Ce CV suivi d’un projet d’intégration au LRI (voir p. ??)
• Lettres de recommandation (Delaët, Gouyou-Beauchamps, Pin, Stein, Zimmermann)
• Rapports et mémoire d’HDR ; sélection de publications

__ Études et fonctions

2004-2012 :

Maître de conférence (25e section) ;
Institut Universitaire de Technologie d’Orsay, département d’informatique ;
Laboratoire de Mathématiques d’Orsay, Université Paris Sud ;

2010 :

Prime d’Excellence Scientifique ;

2008/2011 :

Qualification dans les 25e et 27e sections du CNU ;

2008 :

Habilitation à diriger des recherches, soutenue le 10 décembre à Orsay ;
Sujet : Algèbre combinatoire et effective : des graphes aux algèbres de Kac via l’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 ;

01/2001-08/2004 :

Maître de conférence (27e section), Univ. Claude Bernard Lyon I ;

2000 :

Qualification dans les sections 25, 26 et 27 du CNU ;

1999 :

Thèse d’informatique et mathématiques, 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) ;

1996-1999 :

Allocataire Moniteur en informatique, UCBL ;

1994 :

DEA IMA (Informatique et Mathématiques Appliquées) X-ENS ;
Filière : Programmation, Sémantique et Preuves ;

1992-1996 :

Élève à l’École Normale Supérieure, Paris.

__ Mobilité

09/2008-02/2009 :

Délégation CNRS (27e section) ,
Institut d’Electronique et d’Informatique Gaspard Monge, Marne-la-vallée ;

2007-2008 puis 02/2009-08/2009 :

dix-huit mois Chercheur détaché au Département de Maths de l’Université de Californie à Davis (USA, financement NSF) ;

2006 :

Un mois à l’Université de Californie à San Diego (USA), avec A. Garsia ;

2004 :

Quatre mois Architecte Développeur Senior au département Sécurité d’IDEALX : gestion de montée en charge et tests fonctionnels pour IDX-PKI ;

1999-2000 :

Seize mois Enseignant-chercheur, Coopérant du Service National,
Départment de Maths et Informatique, Colorado School of Mines (USA).

__ Tâches administratives

• Élu au Conseil de l’IUT d’Orsay, 2010-2013 ;
• Président comité de sélection IUT Orsay, poste PRAG 1257 (anglais, 2011) ;
• Comités de sélection IUT Orsay, postes MCF (info, 2009) et PRAG 1564 (lettres modernes, 2010) ;
• Membre de la pré-commission de recrutement MCF IUT d’Orsay, 2006 ;
• Organisateur des journées portes ouvertes de l’IUT d’Orsay, 2006 et 2007 ;
• Webmestre et administrateur système
  Laboratoire de Probabilités, Combinatoire et Statistiques (UCBL) 1997-2004 :
  installation et gestion de 40 postes (UNIX : GNU/Linux, HP, TX) ;
• Coorganisateur et chercheur résident du semestre «Multiple Dirichlet series and related combinatorics», à l’Institute for Computational and Experimental Research in Mathematics, Brown, Rhodes Island, USA, printemps 2013 ;
• Membre du projet NSF «Focused Research Group : Affine Schubert Calculus»
  500 k$, 2007-2010 ;
• Coorganisateur du Groupe d’Utilisateurs de Sage en région parisienne
• Coorganisateur de neuf rencontres de développeurs de *-Combinat, en juin 2004 (Rouen), juin (Orsay) et septembre (Banff) 2007, janvier (Orsay) et juillet 2009 (RISC), juin 2010 (Orsay), janvier 2011 (Orsay) ; janvier 2013 (EPFL), février 2013 (Brown university)
• Coorganisateur des Sage Days 20, mars 2010 (CIRM, 110 participants) ;
• Organisateur local du Workshop on Open Source Computer Algebra (Lyon, 21-23 mai 2002) : cinquante chercheurs et enseignants de sept pays différents.

__ Encadrement d’activités de recherche

• Direction du stage de M2 puis de la thèse de Nicolas Borie (2008-2011) ;
• Codirection de la thèse de Tom Denton, University of California at Davis, avec Anne Schilling (2008-2011) ;
• Rapporteur et examinateur de la thèse de Mr Rahmany (2009, Univ Paris 6) ;
• Examinateur pour les thèses de Xavier Molinero (2005, Barcelone), François Descouens (2007, Univ. Marne-la-Vallée), Xavier Buchwalder (2009, Univ. Lyon I), Jean-Pierre Flori (2011, Télecom ParisTech) ;
• Coordination de *-Combinat (voir p. 21), incluant l’encadrement des doctorants : Borie, Boussicault, Denton, Descouens, Molinero, Pon, Pons, Wang, etc.

__ Invitations à des conférences

1. École d’été CIMPA : «Mathématiques discrètes : aspects combinatoires, dynamiques et algorithmiques», Bobo-Dioulasso (Burkina Faso), automne 2012 (mini-cours) ;
2. Sage Days 40, IMA, Minneapolis, USA, July 2012 ;
3. Workshop on Algebraic Monoids, Group Embeddings and Algebraic Combinatorics, July 2012 ;
4. Sage Days 38, CRM, Montréal, Canada, May 2012 ;
5. 4-th SCIEnce Workshop, École Polytechnique, Décembre 2011 ;
6. Congrès SMAI, Mini-symposium Sage, Guidel Mai 2011 ;
7. Sage Days 30, Acadia University, Canada, Mai 2011 ;
8. Affine Schubert Calculus Summer School, Toronto, Canada, Juil. 2010 (mini-cours) ;
9. Sage Days 20.5, Fields Institute, Toronto, Canada, Mai 2010 ;
10. Sage Days 20, CIRM, Luminy, France, Février 2010 (mini-cours) ;
11. Journée PLUME - Groupe Calcul : «Les alternatives libres aux outils propriétaires de mathématiques», Paris, France, Février 2010 (conférence d’introduction) ;
12. Sage Days 15, Seattle, USA, Mai 2009 ;
13. Sage Days 10, Nancy, France, Octobre 2008, responsable de la session combinatoire ;
14. AMS special session on Algebraic Combinatorics, Claremont, USA, Mai 2008 ;
15. Sage Days 7, Los Angeles, USA, Février 2008 ;
16. AMS Joint Mathematics Meeting, Special Session on Applications of Computer Algebra in Enumerative and Algebraic Combinatorics, San Diego, USA, Janvier 2008 ;
17. Axiom Workshop 2007, RISC, Linz, Austria, Juin 2007 ;
18. Axiom Workshop 2006, RISC, Linz, Austria, Avril 2006 ;
19. Modular Invariants and Representations of Finite Groups : Theory and Computation, Canterbury, UK, Septembre 2003 ;
20. Workshop on Invariant Theory, Kingston, Canada, Avril 2002.

__ Séminaires et exposés récents

UC Davis, USA (10/2007, 06/2009) ; MSRI, Berkeley, USA (04/2008) ; Orsay (12/2008) ; LMNO, Caen (01/2009), Tulane, New-Orleans, USA (03/2009) ; INRIA, Rocquencourt ; LIPN, Villetaneuse (11/2009) ; LIAFA, Paris (02/2010) ; LACL, Créteil (06/2010) ; Aix-la-Chapelle (12/2010) ; Orsay (01/2011) ; Rabat, Maroc (02/2011) ; LRI, Orsay (03/2011), Montréal, Canada (04/2011) ; LMNO, Caen (05/2011) ; Bar Ilan University, Israël (05/2011) ; ICJ Lyon (02/2012) ; LJK, Grenoble (03/2012) ; JIL, Toulon (04/2012).

Quelques titres récents :

• «Algorithmes en théorie des représentations des monoïdes»
• «Théorie des représentations effective des monoïdes»
• «Algèbres et monoïdes de tris des groupes de Coxeter»
• «Développement collaboratif libre d’applications métier ;
  Étude de cas : Sage pour les Mathématiques»
• «Une introduction à Sage et Sage-Combinat »
• «Categories for the working mathematical programmer»

Voir aussi : http://Nicolas.Thiery.Name/Talks/.

__ Langues

Anglais : courant ; Allemand : lu-écrit .

__ Publications

Note : mes publications sont presque toutes disponibles sur arXiv :
http://arxiv.org/find/all/1/au:+Thiery_N/0/1/0/all/0/1 et référencées sur HAL : http://hal.archives-ouvertes.fr/aut/Nicolas+M.+Thi%C3%A9ry/

Revues d’audience internationale avec comité de lecture

Actes de conférences internationales avec comité de lecture

Articles soumis

Thèse de doctorat et d’habilitation, chapitre de livre

Communications

__ Enseignement (≈2050 heures équiv. TD depuis 1996)

Mon cœur de métier a été jusqu’ici l’enseignement des mathématiques aux étudiants informaticiens (mathématiques discrètes, algèbre, etc.) et réciproquement de l’informatique (programmation, algorithmique, système, etc.) aux mathématiciens. Mon but est d’exploiter ma double culture pour faire découvrir et, autant que possible, aimer l’autre domaine aux étudiants de tous niveaux, afin de les inciter à franchir les frontières disciplinaires. Je préfére des enseignements où je peux utiliser mes compétences en recherche et en développement logiciel (combinatoire, calcul formel et algébrique, informatique théorique, conception logicielle, gestion de projet), et j’apprécie l’interaction avec des étudiants en master ou en thèse. Mais je me suis toujours adapté aux besoins locaux, en prenant plaisir à élargir mon spectre de compétences en enseignant de nouvelles matières.

Informatique

L1 :

C++ (TP, 20h, 2003, Filière Ingénieur 2000, Université de Marne-la-Vallée),
TP d’Informatique (Turbo-Pascal) (32h, 1996, MIAS),

L2 :

Programmation Objet en Java (Cours, TD, TP, 4×50h),
Algo et Langage C++ (TD, TP), Programming concepts, in C++ (Cours, TP, 50h). Combinatoire (TD, 52h, 1998-1999).

L3 :

Optimisation discrète (TD, 2×27h),
Stage d’initiation à Maple (16h, 1997, ENS Lyon),

M1 :

Recherche opérationnelle (Cours, TD, TP, 3×80h, Maîtrise de Maths et Ingénierie Mathématique, 2001-2004) ;

M2 :

Montage et responsabilité de la thématique informatique du DESS Statistiques, Informatique et Techniques Numériques :
Programmation Java et outils de développement, Systèmes et réseaux informatiques, Remise à niveau informatique fondamentale (Cours, TD, TP, 3×90h).

Intervenant chez Orsys :

Linux, Mise en Œuvre (3×4 jours, 2005-2006).

Sage Days :

Python, Sage, Programmation objet, Génie logiciel, Tests, Systèmes de gestion de version (CVS, Subversion, Mercurial) (30h).

Mathématiques

L1 :

Mathématiques générales (Amphi, TP, TD, 3×100h),
Calcul formel pour les Mathématiques (Amphi, TP, 10h),
Mathématiques générales, algèbre, combinatoire (100h, 1996-1998) ;

L2 :

Algèbre, statistiques, graphes, codage (Cours, TD, 3×130h, 2004-2007),
Recherche Opérationnelle (Cours, TD, 30h, 1999),
Algebraic structures and discrete mathematics (Cours, TD, 3×50h, 1999-2000) ;

L3 :

Stage d’initiation à Maple (16h, 1997, ENS Lyon) ;

M1 :

Montage et responsabilité de l’option Algèbre et Calcul Formel de la préparation à l’agrégation d’Orsay (2×50h, 2005-2007) ;
Participation aux oraux blancs du CAPES (1999) ;

Doctorat :

Cours informels de combinatoire (20h, 2007-2009).

Divers

• Projet Professionnel Personnalisé ;
• Encadrement de sept projets tutorés, L1, IUT d’Orsay ;
• Encadrement de quatre TER (Orsay, Lyon) ;

Projet d’intégration au LRI, Orsay

Enseignement et administration

À titre d’illustration, je donne ci-dessous une liste de modules des cursus du département d’informatique d’Orsay dans lesquels je pourrais invervenir. Je souhaite en outre proposer au moins un cours de M2 sur mes thèmes de recherche, à Orsay ou dans les établissements environnants, afin de recruter de futurs étudiants.

Comme chaque fois que l’occasion s’est présentée dans mes postes précédents, je m’investirai dans l’élaboration des contenus et le renouvellement des filières. Selon les besoins, je suis prêt à prendre en charge des responsabilités administratives, d’organisation des enseignements ou autres, tout en maintenant un équilibre entre recherche propre, animation de l’équipe de recherche, animation de Sage-Combinat, enseignement, charges administratives et ... vie familiale.

Quelques modules dans lesquels je serais directement opérationnel en CM/TD/TP :
L :

• Introduction à la programmation objet
• Mathématiques pour l’informatique, Maths discrètes, Algèbre, Algèbre linéaire

M1 :

• Algorithmique de graphes

Quelques modules dans lesquels je serais directement opérationnel en TD/TP. Par la suite, je pourrais donner les cours dans ces matières, une fois intégré l’esprit du module, le niveau et les centres d’intérêts des étudiants, les difficultés pédagogiques :
L :

• Programmation objet et génie logiciel, Génie logiciel avancé, Développement logiciel
• Programmation fonctionelle, Programmation impérative, Algorithmique générale
• Principes d’interprétation des langages, Langages formels et analyse syntaxique
• Éléments de logique pour l’informatique

M1 :

• Programmation objet avancée, Algorithmique avancée, Compilation
• Informatique théorique

M2Pro RT :

• PhyI-G20 - Java et internet

Quelques modules dans lesquels je pourrais intervenir en TD/TP avec un peu d’investissement et que j’aurais plaisir à enseigner pour ma propre culture :
L :    Composants logiques et architectures des ordinateurs, bases de données
M1 : Informatique théorique avancée, complexité
M2 Pro IICI : Représentation des connaissances

Thématique et projet de recherche

Mon domaine de recherche est la combinatoire algébrique. Il se situe à l’interface entre l’algorithmique, la combinatoire énumérative et l’étude des structures combinatoires sous-jacentes au calcul algébrique avec, en particulier, des applications à l’analyse fine de complexité d’algorithmes et de langages via les séries génératrices. D’une part, j’utilise des outils d’algèbre commutative, notamment de théorie des invariants, pour étudier des problèmes d’isomorphisme en combinatoire (reconstruction de graphes, etc.). D’autre part, je recherche et étudie des modèles combinatoires pour des structures algébriques et leurs représentations : monoïdes finis, cristaux, algèbres de Hopf et de Kac, algèbres de Steenrod. D’un côté, ces modèles permettent de calculer concrètement avec ses structures. De l’autre, le point de vue conceptuel introduit par l’algèbre fournit un guide précieux.

Représentations des monoïdes

Je détaille maintenant mon projet de recherche principal, que je mène depuis 2004 en y associant collaborateurs et étudiants [HT06, HT09, HST08, HST09, HST10, DHST11, HST12]. Ce projet tire ses racines dans l’analyse de complexité des algorithmes de tris. Une structure algébrique naturellement associée est le monoïde de Hecke du groupe symétrique 𝔖n ¹ et son algèbre, appelée la 0-algèbre de Hecke ; il suffit pour le construire de considérer le permutohèdre comme un automate sur l’alphabet {1,…,n − 1}, et d’en prendre le monoïde de transition. (voir Figure ??).

L’idée de départ a été de considérer des mélanges de plusieurs types d’opérateurs de tris (tri croissant et décroissant, tri circulaire, etc), et d’étudier la structure du monoïde engendré par ces opérateurs. Par exemple, le monoïde de biHecke est le monoïde engendré simultanément par les opérateurs de tris croissants et décroissants ; une construction équivalente consiste à interpréter le permutohèdre comme un automate (avec une orientation appropriée : {1,…,n − 1} pour les flèches descendantes et {1,…,n − 1} sur les flèches montantes, voir Figure ??), et d’en étudier le monoïde de transition.

Il se trouve que ces mélanges produisent une combinatoire riche [HT06, HT09, HST08, HST09], en particulier grâce à des connections avec, par exemple, l’algèbre de Hecke affine ou la combinatoire des polynômes multivariés.

Progressivement, la théorie des monoïdes finis a pris un rôle prépondérant dans ce projet. J’ai en effet montré que, pour une classe large de monoïdes (monoïdes J-triviaux), la théorie des représentations est complètement combinatoire [DHST11]. Cela donne des algorithmes efficaces pour la calculer et, surtout, permet d’associer semi-automatiquement de nouvelles structures combinatoires à un monoïde, le plus souvent sous forme d’ordres partiels ou de treillis. J’ai ainsi mis à jour une nouvelle structure de semi-treillis distributif sur les permutations [HST10, HST12].

Ces travaux s’insèrent dans un élan international relativement récent qui a pour but de mieux comprendre les représentations des monoïdes finis (voir par exemple [Put96, Sal07, MS11, GMS09, Den10, BBBS10]). En effet, autant la théorie des groupes est bien développé depuis un siècle, en tout cas dans le cas non modulaire, autant jusqu’à il y a une dizaine d’année, seuls les premiers éléments de la théorie étaient connus pour les monoïdes : modules simples et caractères (voir e.g. [Mun60, McA72]. Les progrès rapides récents sont consubstantiels à la convergence de deux communautés : celle des semigroupes d’une part et celle de la combinatoire algébrique d’autre part, qui apportent des exemples, des points de vue et des outils complémentaires.

Jusqu’à présent un verrou était la classe des monoïdes apériodiques ; introduits par Schützenberger, ces monoïdes sont en correspondance avec les langages rationnels sans étoile. Mes résultats sur les monoïdes de biHecke semblent avoir ouvert une brèche ; dans l’état actuel j’ai montré comment exploiter les propriétés bien connues du graphe de Cayley du monoïde et des relations de Green (voir Figure ??) pour ramener le calcul des représentations (en l’occurence la matrice des invariants de Cartan) d’un monoïde apériodique quelconque au calcul de caractères de petits modules [Thi11]. La chute de complexité induite m’a permis par exemple de traiter en une heure un monoïde de taille 31103, alors que jusqu’ici le traitement de monoïdes similaires de taille 500 pouvait prendre des semaines. Une fois ce verrou dépassé, la généralisation à tous les monoïdes finis ne pose plus de difficulté majeure. L’idée est qu’un monoïde quelconque est, en gros traits, composé d’un monoïde apériodique dans lequel on a injecté des petits groupes. Or plusieurs chercheurs ont développé récemment une batterie d’outils pour réduire la description des représentations d’un monoïde dont la composante apériodique ne pose pas de problème à celle de ses petits groupes [MS11, GMS09]. Suite à une correspondance régulière avec B. Steinberg au Canada et S. Margolis en Israël, et une visite chez ce dernier, j’ai pu combiner les deux approches. Il ne reste qu’à l’implanter.

À partir de là, les pistes sont multiples. D’une part, cet outil de calcul va permettre d’étudier systématiquement des familles classiques de monoïdes, apériodiques ou non, de taille intéressante. Outre l’intérêt propre de ces monoïdes, j’espère en retour que cette étude permettra d’affiner la théorie pour passer d’un algorithme à une description combinatoire, au moins pour les monoïdes classiques. Une étape ultérieure, pour le moment difficile même pour des exemples très connus, est de déterminer la filtration radicale qui donne un q-analogue naturel de la matrice de Cartan. Un autre problème récurrent est la généralisation aux monoïdes discrets infinis qui nécessitera l’introduction d’une nouvelle gamme d’outils. Enfin une question centrale est de déterminer ce que l’information ainsi extraite sur la structure d’un monoïde dit en retour sur son langage et l’automate associé.

Développement logiciel libre : MuPAD-Combinat et Sage-Combinat

Depuis son introduction par Schützenberger dans les années 1950, l’exploration informatique a traditionnellement joué un rôle considérable dans la recherche en combinatoire, en particulier en combinatoire algébrique. Des efforts considérables de développement ont été consentis, résultant en de multiples bibliothèques, comme ACE, Algolib, SYMMETRICA ou SF/Weyl/posets. Cependant, mes besoins de calcul lors de ma thèse m’ont amené à poser le diagnostic suivant : ma communauté a besoin d’un projet logiciel fédérateur mutualisant les efforts de développement, un peu comme GAP le fait pour la théorie des groupes. Pour qu’il puisse émerger, ce projet doit être simultanément totalement libre, ancré sur la recherche, développé par une communauté internationale transversalement aux institutions et utiliser des outils de conception et de développement modernes. Enfin il doit être intégré dans une plateforme de calcul mathématique généraliste réutilisant un maximum de composants préexistants.

C’est un projet ambitieux et de long terme, mais réalisable de front avec une carrière de chercheur. Après de multiples discussions avec les acteurs de la communauté, j’ai commencé à réunir en décembre 2000 une équipe, en commençant par Florent Hivert. En l’absence d’une plateforme libre appropriée nous avons dû dans un premier temps nous contenter de MuPAD. Cet obstacle a été levé avec l’apparition et la montée de puissance de Sage [S⁺09]. Grâce à notre migration vers cette plateforme en 2008, notre communauté croît rapidement. À l’heure actuelle, l’utilisation de MuPAD-Combinat puis Sage-Combinat a joué un rôle essentiel dans plus de 70 publications. Avec 50 contributeurs, 15 développeurs réguliers et 150k lignes de code intégrées à Sage, ainsi que des financements réguliers (ANR, PEPS, NSF, voire Google), Sage-Combinat est maintenant la plus grande sous-communauté organisée de Sage. Elle couvre un large spectre : combinatoire des mots, dynamique, combinatoire énumérative, ordres partiels, monoïdes, algèbres de Hopf, algèbres de Lie, cristaux, théorie des représentations, avec un impact général sur Sage :

«I certainly did not realise when the combinat people joined Sage how useful they and what they do would be for people like me !» John Cremona, number theorist.

Mon rôle est multiple : choix de la plateforme et du modèle de développement, animation de la communauté (formation, ateliers), aide à la conception (algorithmique, modélisation, architecture logicielle), veille sur la qualité (tests, documentation, revues de code), développement d’une vision globale, veille technologique, promotion, recherche de financements et valorisation. Enfin, je me dois d’insuffler une dynamique, en étant en permanence en première ligne, tout en rentabilisant mes propres développements dans des projets de recherche. Mon mémoire d’habilitation décrit quelques uns des défis rencontrés et les choix stratégiques qui ont conditionné la réussite de ce projet.

Au delà d’un rôle d’animation et d’ingénierie, je suis amené à développer de nouveaux concepts et patrons de conception informatiques pour modéliser des objets mathématiques complexes. J’ai en particulier mené à bien une refonte en profondeur du cœur de Sage avec une implantation novatrice fusionnant et étendant deux patrons de conception «Catégories» (venant d’Axiom) et «Parents-Éléments» (venant de Magma). L’enjeu pratique est de maîtriser l’explosion combinatoire de la hiérarchie de classes (une centaine de classes abstraites, avec de multiples combinaisons possibles) par une gestion dynamique et de l’algorithmique des treillis. Il s’agit de fait d’un travail de recherche en conception logicielle, avec une publication en cours de préparation.

Au final, ma contribution à Sage depuis 2008 est de 93 «tickets» (i.e. évolutions ou correctifs, comme par exemple «#7004 : Refactor the graph layout code, and add interface with graphviz») représentant 100 000 lignes de code/doc/tests ; j’ai en outre été arbitre de 89 «tickets» (voir http://trac.sagemath.org/) Cet investissement s’est concrétisé par de multiples invitations à des conférences (p. 4), la participation en tant qu’expert à plusieurs projets de recherche, des présentations logicielles régulières (dont FPSAC 2006 et 2009), un article au Séminaire Lotharingien de Combinatoire (p. 7) et deux chapitres dans un livre (p. 11).

Perspectives

Le projet de recherche que j’ai présenté précédemment autour de la théorie des représentations des monoïdes contient à lui seul matière pour plusieurs sujets de thèse. Mais ce n’est que l’une des facettes de mon travail. Depuis le début de ma carrière, j’ai en effet travaillé sur des sujets aussi variés que la théorie des graphes et des relations [Thi99, Thi00a, PT01, PT05], le calcul formel pour la cryptographie [GST06], la théorie des invariants effective [Thi01, Thi00b, TT04], les algèbres de Hopf et de Kac [HT04, NTT04, DT11], ou les graphes cristallins [BST10]. L’unité entre ces différents sujets provient des outils utilisés et, en particulier, de la démarche exploratoire. Comme je l’explique en détail dans l’introduction de mon mémoire d’habilitation, cette démarche exploratoire est un formidable outil pour établir des collaborations, en s’appuyant sur les liens naturels et profonds qu’entretient la combinatoire algébrique avec les domaines environnants, en informatique, en mathématique, comme en physique.

Conjugué avec ma mobilité (Colorado, Lyon, Marne-la-vallée, Orsay, Californie) et mon engagement dans le développement de Sage-Combinat, cela m’a permis d’établir un réseau national et international de collaborateurs. Ce réseau est une source permanente de nouvelles idées, de problèmes intéressants, mais aussi de rencontres avec de jeunes talents. En particulier le projet Sage-Combinat fournit un vivier de futurs candidats, testés sur le terrain pour leur double compétence pratique et théorique, leur qualités humaines dans un environnement collaboratif et surtout, ce qui est vital pour eux, leur capacité à valoriser immédiatement leurs efforts de développements dans leur recherche (voir mon mémoire d’habilitation pour la politique très stricte de Sage-Combinat à ce sujet). Par exemple, c’est grâce à ce réseau que l’équipe Algorithmique et Complexité a reçu les excellentes candidatures CR de Nathann Cohen et Christian Stump cet année.

Mon insertion au LRI est immédiate, avec la présence dans cette équipe de mon principal collaborateur Florent Hivert. De fait, cette insertion est déjà effective, mais non pérenne. L’émergence d’un noyau dur de développeurs de Sage-Combinat à Orsay, et plus généralement sur le plateau de Saclay (Supélec, X), sera structurante pour ce projet et l’occasion de collaborations avec d’autres équipes du LRI. Sage-Combinat a par exemple déjà été utilisé par l’équipe ForTesSE lors des thèses de Sandrine Gouraud et Johan Oudinet. Réciproquement le dévelopement collaboratif d’un système de cette complexité soulève de nombreux défis : quelles stratégies de tests appliquer ? peut-on prouver certains composants ? Enfin il est vital sur le long terme pour Sage de renforcer ses capacités en parallélisme, notamment en continuant d’intégrer des bibliothèques de calcul haute performance.

Pour conclure, je suis convaincu que ma démarche de recherche, mon réseau international de collaborateurs, mon expérience d’animation d’équipe et mon investissement dans Sage-Combinat sont autant d’atouts pour soutenir et viabiliser la montée en puissance progressive d’une thématique de recherche combinatoire algébrique effective au sein de l’équipe Algorithmique et Complexité.

Références

Welcome to Nicolas' home