Cyrille CHENAVIER

Je suis actuellement ATER à l'Université Paris-Est Marne-la-Vallée et développe mes activités de recherche au sein de l'Institut d'Informatique Gaspard Monge. Mon projet de recherche se situe à l'interface mathématiques/informatique. Mes domaines d'intérêt sont en particulier: réécriture linéaire, opérateurs de réduction, bases de Gröbner, algorithmes de complétion, algèbre homologique effective.

Contact

Nom Cyrille Chenavier
Téléphone 01 57 27 90 86
Bureau 3032
Mail chenavier@irif.fr
Page web https://www.irif.fr/~chenavier/

Recherche

Publications dans des revues internationales

* Syzygies among reduction operators, Journal of Pure and Applied Algebra (à paraître).

* Reduction operators and completion of rewriting systems, Journal of Symbolic Computation, Vol. 84 (2017), p. 57-83.

* Confluence algebras and acyclicity of the Koszul complex, Algebras and Representation Theory, Vol. 19 (2016), p. 679-711.

Prépublications

Actes de conférence avec comités de lecture

* Detecting Useless Critical Pairs, International Workshop on Confluence (IWC 2017), Oxford, septembre 2017.

* Upper-bound of reduction operators and computation of syzygies, Workshop Higher-Dimensional Rewriting and Applications (HDRA 2017), Oxford, septembre 2017.

* An algebraic approach to confluence and completion, International Workshop on Confluence (IWC 2016), Obergurgl, Septembre 2016.

* Reduction operators: rewriting properties and completion, Workshop Higher-Dimensional Rewriting and Applications (HDRA 2016), Porto, juin 2016.

* Confluence algebras and acyclicity of the Koszul complex, Workshop Higher-Dimensional Rewriting and Applications (HDRA 2015), Varsovie, juin 2015.

Thèse

Présentations

Une implémentation des opérateurs de réduction

* Ce lien comporte une implémentation de la structure de treillis sur les opérateurs de réduction. Cette implémentation est écrite avec le logiciel Sage dans le langage Python.

Enseignements

Année 2016 - 2017

* Compléments en programmation orientée objet, troisième année de licence d'informatique, premier semestre : cours magistral, travaux pratiques et travaux dirigés.

* Introduction à la programmation, première année de licence d'informatique, premier semestre : travaux dirigés et travaux pratiques.

* Soutien en introduction à la programmation, première année de licence d'informatique, second semestre : travaux dirigés.

Année 2015 - 2016

* Programmation orientée objet et interfaces graphiques, deuxième année de licence d'informatique, premier semestre : travaux dirigés et travaux pratiques.

Année 2014 - 2015

* Programmation orientée objet et interfaces graphiques, deuxième année de licence d'informatique, premier semestre : travaux dirigés et travaux pratiques.

Année 2013 - 2014

* Introduction à la programmation, première année de licence d'informatique, premier semestre : travaux pratiques.

* Types et objets, première année de licence de mathématiques et informatique, deuxième semestre : travaux dirigés et travaux pratiques.

Curriculum Vitae