Nom : Deneufchˆ atel Pr´ enom : Matthieu Date de naissance : 12 juillet 1986 Adresse professionnelle : D´epartement d’Informatique, EA 4108, Avenue de l’Universit´e - BP8, ´ F-76801 Saint-Etienne-du-Rouvray CEDEX T´ el´ ephone : 06 33 54 04 24 Adresse ´ electronique : [email protected] Page web : http://www.litislab.eu/Members/mdeneufchatel Postes occup´ es : 2013-2014 : ATER (Attach´e Temporaire d’Enseignement et de recherche) `a l’Universit´e de Rouen. Demi-service (96 heures) en Informatique. Membre du LITIS (Laboratoire d’Informatique, du Traitement de l’Information et des Syst`emes). — 2012-2013 : ATER (Attach´e Temporaire d’Enseignement et de recherche) `a l’Universit´e de Paris 13, rattach´e ` a l’Institut Galil´ee. Service complet (192 heures) en Informatique. Membre du LIPN (Laboratoire d’Informatique de Paris Nord). — 2009-2012 : Doctorant dans le cadre de l’ANR PhysComb au LIPN. Moniteur `a l’Institut Galil´ee, Universit´e de Paris 13. — Parcours universitaire : — 2013 : Qualifi´e aux fonctions de Maˆıtre de Conf´erences pour les Sections 25 et 27 du CNU. — 2009-2012 : Doctorat en Informatique de l’Universit´e de Paris 13 — titre de la th`ese : Int´ egrales it´ er´ ees en Physique Combinatoire ; — pr´epar´e au Laboratoire d’Informatique de Paris Nord (LIPN), sous la direction de G´erard H. E. Duchamp et Jean-Gabriel Luque ; — Th`ese soutenue le 27 septembre 2012 au LIPN devant un jury compos´e de : — G´erard H. E. Duchamp (PR 27) ; — Jean-Pierre Gazeau (pr´esident, PR 29) ; — Christian Krattenthaler (PR, Universit´e de Vienne) ; — Jean-Gabriel Luque (PR 27) ; — Jean-Yves Thibon (rapporteur ; PR 27, IUF) ; — Christophe Tollu (MCF 27) ; — Jiang Zeng (rapporteur, PR 25). — Mention : tr`es honorable. — 2006-2009 : Magist`ere de Physique, Universit´e de Paris 7. — 2008-2009 : Master Physique Th´eorique des Syst`emes complexes, Universit´e de Paris 7. Stage de recherche encadr´e par Jean-Yves Thibon (voir ci-dessous). ´ — 2004-2006 : CPGE (Classe pr´eparatoire aux Grandes Ecoles) MPSI-MP au Lyc´ee Lakanal. Activit´ es de recherche : Production scientifique : La liste suivante r´ecapitule les publications auxquelles j’ai particip´e : 1. Revue internationale ` a comit´e de lecture : 1 — Asymptotics of Selberg-like integrals : The unitary case and Newton’s interpolation formula, Journal of Mathematical Physics, 51(12), 2010 [2]. 2. Conf´erence internationale ` a comit´e de lecture et publication des actes : — Independence of hyperlogarithms over function fields via algebraic combinatorics, Lecture Notes in Computer Science, 6742, 2011 ([7]). — How to compute Selberg-like integrals ?, Actes des 13i`emes Journ´ees Montoises d’Informatique Th´eorique, 2010 ([3]). 3. Th`ese et autres : — Int´ egrales It´ er´ ees en Physique Combinatoire, Presses Acad´emiques Francophones, ISBN : 978-3-8381-7784-7, 2013 ([4]). — Poster dans une conf´erence internationale : Dual Bases in Enveloping Algebras, ISSAC 2012 [6]. — Contributions OEIS : liste. — Patches Sage : — Alg`ebre de m´elange : — 15212 (inclus dans Sage) ; — 14898 (inclus dans Sage). — Alg`ebre de quasi-m´elange : 14914. ´ — TP Sage (EJCIM 2014) : Logarithme discret et Courbes elliptiques. — Programmes divers : — Calcul de certaines int´egrales de type Selberg (en Maple, d’apr`es les r´esultats de [3]) ; — Pr´esentation de mes programmes manipulant les alg`ebres de (quasi-)m´elange (deux feuilles de calcul Sage) : Alg`ebre de m´elange et Alg`ebre de quasi-m´elange. D’autres publications ont ´et´e soumises : — Dirichlet convolution and enumeration of pyramid polycubes (2014 - soumis `a DMTCS) [1] ; — Finite Decomposition Semigroups (2013 - soumis au S´eminaire Lotharingien de Combinatoire) [5]. R´ esum´ e: J’ai commenc´e ma th`ese en septembre 2009 (officiellement au 1er octobre 2009) et l’ai soutenue le 27 septembre 2012. J’ai ´et´e par la suite recrut´e comme ATER pour l’ann´ee scolaire 2012-2013 dans le mˆeme cadre, ce qui m’a permis de prolonger les travaux commenc´es pendant ma th`ese avec les membres du LIPN, avant d’ˆetre engag´e par l’Universit´e de Rouen pour l’ann´ee universitaire 2013-2014, `a nouveau en tant qu’ATER. Durant les quatre ann´ees pass´ees au LIPN, j’ai eu l’occasion d’aborder diff´erents th`emes de combinatoire alg´ebrique li´es par les outils qu’ils utilisent ou par les structures sous-jacentes : principalement le produit de m´elange et les int´egrales it´er´ees. Au sein de l’ANR PhysComb, j’ai travaill´e `a la fronti`ere de l’informatique, de la physique et des math´ematiques et compl´et´e une formation pluridisciplinaire apr`es mon master de physique. Je me suis tout d’abord int´eress´e ` a certaines fonctions sym´etriques dans le but de calculer des int´egrales de type Selberg (dont on montre qu’elles sont des int´egrales it´er´ees) et leur comportement asymptotique lorsque le nombre de variables tend vers l’infini. Ce travail, effectu´e avec Jean-Gabriel Luque, Pierpaolo Vivo et Christophe Carr´e, a donn´e lieu ` a une publication dans une revue internationale [2] ; il passe par l’utilisation des liens qui existent avec les op´erateurs de diff´erences divis´ees et de la combinatoire qui leur est associ´ee. Par la suite, j’ai utilis´e des polynˆomes de Jack et de Macdonald, qui apparaissent naturellement dans l’´etude de ces int´egrales, en tant que bases de l’alg`ebre des fonctions sym´etriques dans le but de g´en´eraliser une partie des r´esultats pr´ec´edents, ce qui est pr´esent´e dans [3]. Ensuite, j’ai travaill´e, avec G´erard H. E. Duchamp et Vincel Hoang Ngoc Minh, sur des familles de fonctions d´efinies par des int´egrales it´er´ees, les hyperlogarithmes, afin de d´eterminer si ces familles sont lin´eairement ind´ependantes et de donner un crit`ere assurant cette propri´et´e ([7]). L’int´erˆet de nos r´esultats tient dans le fait qu’ils sont obtenus via des m´ethodes de combinatoire alg´ebrique, sans faire appel `a des propri´et´es de monodromie. J’ai montr´e [4] comment construire certains corps de classes d’´equivalence 2 de fonctions analytiques, corps n´ecessaires `a l’application effective des r´esultats portant sur les propri´et´es d’ind´ependance lin´eaire. Ces r´esultats ont la particularit´e d’ˆetre tr`es li´es `a certains probl`emes arithm´etiques (autour de la fonction ζ de Riemann et de ses g´en´eralisations). Enfin, je me suis int´eress´e, toujours avec G. H. E. Duchamp et V. Minh, aux propri´et´es de dualit´e dans le cadre d’une alg`ebre enveloppante et de son alg`ebre duale, en particulier aux propri´et´es de paires de bases en dualit´e. J’ai particuli`erement ´etudi´e le cas de l’alg`ebre associative libre et de la base form´ee `a partir des mots de Lyndon. L’application principale de ce travail et sa motivation se trouvent dans la propri´et´e de factorisation de l’unit´e, dite factorisation de Sch¨ utzenberger , qui a d’int´eressantes applications dans le cadre de la renormalisation des polyzˆetas divergents et donc, `a long terme, en ce qui concerne la renormalisation en physique. Ces travaux ont ´et´e pr´esent´es partiellement dans un poster ([6]) et m’ont aussi donn´e l’occasion de m’investir dans le d´eveloppement du logiciel Sage (voir plus haut, Production scientifique). Avec G. H. E. Duchamp, je me suis derni`erement pench´e sur la structure des semi-groupes a d´ecomposition finie (qui sont li´es ` ` a des coproduits et donc `a des structures de cog`ebre) ; un article est soumis au S´eminaire Lotharingien de Combinatoire ([5]). Ces diff´erents sujets m’ont permis de d´evelopper des connaissances dans diff´erents domaines de la combinatoire, ce qui se refl`ete dans ma participation `a diff´erentes conf´erences pr´esentant plusieurs aspects de cette branche (S´eminaire Lotharingien de Combinatoire, Conference on Algebraic Informatics 2011 ). Je me suis aussi investi dans le d´eveloppement de programmes (en Maple ou en Sage) permettant d’´etudier pr´ecis´ement certains exemples. Cette orientation vers le calcul formel s’est traduite par des participations a des conf´erences de ce domaine (Journ´ees Nationales de Calcul Formel 2011, International Symposium ` on Symbolic and Algebraic Computation 2012 ). Mes programmes sont disponibles sur ma page web. Plus r´ecemment, j’ai commenc´e ` a consid´erer des probl`emes plus proches de la combinatoire ´enum´erative en ´etudiant la structure d’alg`ebre de convolution de l’ensemble des s´eries g´en´eratrices et en l’appliquant au d´enombrement de certaines familles de polycubes. L`a aussi, des liens avec des questions arithm´etiques (fonction nombre de diviseurs g´en´eralis´ee) apparaissent. Je travaille aussi `a d´eterminer, grˆace `a une approche faisant appel aux hyperd´eterminants, le cardinal de certaines familles de carr´es latins, en relation avec la conjecture d’Alon-Tarsi. Je me situe donc, en raison de ma formation de physicien et de mon doctorat en informatique, `a la fronti`ere entre diff´erentes disciplines : physique, informatique, combinatoire et math´ematiques. Conf´ erences et S´ eminaires : Les expos´es de conf´erence ont ´et´e une part importante de mon travail ; j’ai ainsi pr´esent´e mes travaux au cours des conf´erences suivantes : — 64i`eme S´ eminaire Lotharingien de Combinatoire, Lyon - mars 2010 ; — 13i`emes Journ´ ees Montoises d’Informatique Th´ eorique, Amiens - septembre 2010 ; ´ — Ecole Jeunes Chercheurs du GDR-IM, Amiens, avril 2011 ; — 4th Conference on Algebraic Informatics, Linz - juin 2011 ; — 67i`eme S´ eminaire Lotharingien de Combinatoire, Bertinoro - septembre 2011 ; — Journ´ ees Nationales de Calcul Formel, CIRM, Luminy - novembre 2011 ; — 68i`eme S´ eminaire Lotharingien de Combinatoire, Ottrott - mars 2012 ; — ISSAC 2012 (poster), Grenoble - juillet 2012. — Journ´ ees du GT Combalg du GDR-IM, Marne-la-Vall´ee, juin 2013. ´ — Ecole Jeunes Chercheurs du GDR-IM, Caen, mars-avril 2014 (tutoriels Sage). J’ai r´eguli`erement donn´e des expos´es dans le cadre du s´eminaire de l’´equipe CALIN au sein de laquelle j’ai pr´epar´e ma th`ese, ainsi qu’au LITIS ou encore au LIAFA : — Symmetric Functions and integrable many body systems, S´eminaire CIP, LIPN, 09/2009 ; — Algorithme de calcul rapide d’int´ egrales de type Selberg, S´eminaire CIP, LIPN, 11/2009 ; — Asymptotique de certaines int´ egrales de Selberg : le cas unitaire et la transform´ ee binomiale, S´eminaire CIP, LIPN, 02/2010 ; — Le shuffle et ses q-d´ eformations, S´eminaire CIP, LIPN, 05/2010 ; — (Co-)Algebras, Shifts and a theorem by E. Abe and M.-P. Sch¨ utzenberger, S´eminaire CIP, LIPN, 10/2010 ; — About different kinds of substitutions, S´eminaire CALIN, LIPN, 01/2011 ; — How to compute Selberg-like integrals, S´eminaire de l’´equipe Combinatoire & Algorithmes, 3 LITIS, 03/2011 ; — Autour des objets de Lie , S´eminaire CALIN, LIPN, 06/2011 ; — Factorisation de Sch¨ utzenberger, Structures Libres et Bases de Radford, S´eminaire CIP, LIPN, 10/2011 ; — Un th´ eor` eme diff´ erentiel, S´eminaire CIP, LIPN, 09/2012. — Sur une famille de big` ebres combinatoires, S´eminaire CIP, LIPN, 11/2012. — Convolution de Dirichlet et ´ enum´ eration de pyramides et espaliers, S´eminaire de Combinatoire, LIAFA, 10/2013 - S´eminaire de l’´equipe Combinatoire & Algorithmes, LITIS, 11/2013 - S´eminaire de l’´equipe CALIN, LIPN, 03/2014. Collaborations : — G´erard H. E. Duchamp, Vincel Hoang Ngoc Minh, Laurent Poinsot (LIPN) ; — Jean-Gabriel Luque, Christophe Carr´e, Olivier Mallet, Jean-Philippe Dubernard (LITIS, Universit´e de Rouen) ; — Pierpaolo Vivo (Abdu Salam International Center for Theoretical Physics, Italie). Stages de recherche : — Stage de M2 : Symmetric Functions and Integrable Many-Body Systems, avec Jean-Yves Thibon, Laboratoire d’Informatique de l’Institut G. Monge, Universit´e de Marne-la-Vall´ee ; — Stage de M1 : Wigner functions : properties and applications avec Apostol Vourdas, Department of Computing, University of Bradford, UK ; — Stage de L3 : L’op´ erateur temps en m´ ecanique quantique avec Jean-Pierre Gazeau, Laboratoire APC, Universit´e de Paris 7. Enseignement : Ayant ´et´e engag´e comme moniteur, j’ai commenc´e `a enseigner au d´ebut de ma th`ese. J’ai assur´e des Travaux Dirig´es et des Travaux Pratiques d’Architecture des Ordinateurs, de G´enie Logiciel, d’Administration de Parc Informatique... J’ai donc acquis des connaissances en assembleur, en C, en architecture, en sp´ecifications formelles ou encore en gestion de parcs. Par ailleurs, j’ai aussi assur´e des TD et TP d’algorithmique. Je m’adressais ` a des publics assez diff´erents - des ´etudiants de premi`ere ann´ee d’´ecole d’ing´enieur dont la sp´ecialit´e ´etait l’informatique mais aussi des ´etudiants de premi`ere ann´ee de licence non n´ecessairement scientifiques pour lesquels le cours d’informatique n’´etait qu’une introduction - dans les cadres de deux universit´es diff´erentes. Comme le montrent les donn´ees pr´esent´ees ci-dessous, le g´enie logiciel a constitu´e une part relativement importante de mon travail d’enseignement. J’ai aussi eu l’occasion de m’int´eresser aux difficult´es que rencontrent les ´etudiants de premi`ere ann´ee au travers de l’enseignement M´ethodologie du Travail Universitaire et d’apporter des r´eponses li´ees a mon exp´erience d’´etudiant. ` En tant qu’ATER en 2013-2014, mon service est compos´e comme le d´ecrit le tableau 1 ci-dessous ; les enseignements de l’ann´ee 2012-2013 figurent dans le tableau 2 ; enfin le tableau 3 r´ecapitule les enseignements que j’ai effectu´es dans le cadre du monitorat. J’ai enseign´e pendant un peu plus de 500 heures ´equivalent TD (principalement des TD et des TP), dont la r´epartition entre les diff´erents niveaux est la suivante : — L1 : ∼180 HTD ; — L2 : ∼170 HTD ; — L3 - Premi`ere ann´ee d’´ecole d’ing´enieur : ∼140 HTD. Responsabilit´ es collectives : 4 Table 1 – Composition de service 2013-2014 Intitul´ e Type de Cours Niveau Volume horaire Base de la Programmation Imp´erative TP L1 24H D´ecouverte de l’Informatique TP L1 SVTE 20H TD-TP L2 TD : 24H, TP : 24H Algorithmique 2 Table 2 – Composition de service 2012-2013 Intitul´ e Type de Cours Niveau Volume horaire TD L2 19.5H G´enie Logiciel a Architecture des ordinateurs TD-TP INFO1 TD : 24H, TP : 12H ´ ements d’Informatique El´ Programmation imp´erative et ASDLb TD-TP TD-TP L1 L1 TD : 36H, TP : 19.5H TD : 25.5H, TP : 16.5H Administration de Parc Informatique TD L2 27H M´ethodologie du Travail Universitaire TD L1 12H a b premi` ere ann´ ee de l’´ ecole d’ing´ enieurs SUP GALILEE Algorithmique des Structures de Donn´ ees Lin´ eaires — 2008-2009 : Repr´ esentant des ´ etudiants au Conseil des Enseignements de l’UFR de physique a l’Universit´e de Paris 7 ; ` — 2010 : Repr´ esentant des membres non-permanents au conseil LIPN . ´ — 2011-2012 : Repr´ esentant des doctorants au Conseil de l’Ecole Doctorale Galil´ee (ED 146, ´ Ecole Doctorale Sciences, Technologies, Sant´e de l’Universit´e de Paris 13 ; — 2009-2013 : Responsable de la page web du s´eminaire CIP et de l’´equipe CALIN et r´edaction de r´esum´es de plusieurs s´eminaires ; — 2011 : R´edaction d’une revue pour la conf´erence CAI (Conference on Algebraic Informatics) 2011 ; — Encadrement du stage de premi`ere ann´ee de Aiwei Sun (INSA de Rouen), juin - aoˆ ut 2014. Ces activit´es m’ont permis d’acqu´erir une vision assez globale du fonctionnement, des relations et des difficult´es des entit´es d’enseignement et de recherche. J’ai ´et´e, entre autres, confront´e aux questions importantes qui se posent aujourd’hui en termes d’´evolution des structures de recherche. R´ ef´ erences [1] C. Carr´e, N. Debroux, M. Deneufchˆ atel, J.-P. Dubernard, C. Hillairet, J.-G. Luque, and O. Mallet. Dirichlet convolution and enumeration of pyramid polycubes, Mar. 2014. submitted to DMTCS ; http://arxiv.org/abs/1311.4836. [2] C. Carr´e, M. Deneufchˆ atel, J.-G. Luque, and P. Vivo. Asymptotics of Selberg-like integrals : The unitary case and Newton’s interpolation formula. Journal of Mathematical Physics, 51(12) :123516, 2010. http://link.aip.org/link/?JMP/51/123516/1. [3] M. Deneufchˆ atel. How to compute Selberg-like integrals ? In LAMFA, editor, 13i`emes Journ´ees Montoises d’Informatique Th´eorique, 2010, Amiens, France, September 6-10, 2010. Proceedings. LAMFA, 2010. http://arxiv.org/abs/1007.2161. ´ [4] M. Deneufchˆ atel. Int´egrales It´er´ees en Physique Combinatoire. PhD thesis, Ecole Doctorale Galil´ee, Universit´e Paris 13, septembre 2012. Th`ese pr´epar´ee au LIPN. [5] M. Deneufchˆ atel and G. H. E. Duchamp. Finite Decomposition Semigroups. En pr´eparation ; http: //arxiv.org/abs/1303.3913, 2013. 5 Table 3 – Services en tant que moniteur (2009-2012) Intitul´ e Algorithmique et Calcul formel G´enie Logiciel Type de Cours Niveau Ann´ ee Volume horaire TP CP2I 2a 2009-2010 12 a 2009-2010 CM : 5, TD : 18 b 2009-2010 19.5 CM-TD CP2I 2 c TD INFO1 G´enie Logiciel TD L2 2009-2010 19.5 G´enie Logiciel TD INFO1b 2010-2011 12 G´enie Logiciel TD L2 MSI 2010-2011 19.5 b 2010-2011 TD : 27, TP : 12 Architecture des ordinateurs TD-TP INFO1 Architecture des ordinateurs TD-TP INFO1b 2011-2012 TD : 24, TP : 12 ´ ements d’Informatique El´ TD-TP L1 2011-2012 TD : 18, TP : 9 a classe pr´ eparatoire int´ egr´ ee de l’Institut Galil´ ee, deuxi` eme ann´ ee ´ premi` ere ann´ ee de l’´ ecole d’ing´ enieurs SUP GALILEE c Mod´ elisation des Syst` emes Informatiques b [6] M. Deneufchˆ atel, G. H. E. Duchamp, and V. H. N. Minh. Dual Families in Enveloping Algebras. In ISSAC 2012 Poster Abstracts, volume 46-3 of ACM Communications in Computer Algebra, page 72, New York, NY, USA, september 2012. ACM Press. Poster. [7] M. Deneufchˆ atel, G. H. E. Duchamp, V. H. N. Minh, and A. I. Solomon. Independence of Hyperlogarithms over Function Fields via Algebraic Combinatorics. In F. Winkler, editor, Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, volume 6742 of Lecture Notes in Computer Science, pages 127–139. Springer, 2011. http://dx.doi.org/10.1007/978-3-642-21493-6. 6
© Copyright 2024 ExpyDoc