Yves Guiraud
Chargé de recherche INRIA
Institut de Mathématiques de Jussieu – Paris Rive Gauche
Université Paris 7
Université de Paris
Contact
yves.guiraud@imj-prg.fr
Téléphone : 01 57 27 93 04
Adresse physique
Bâtiment Sophie Germain
Bureau 723
8 place Aurélie Nemours
75013 Paris
Adresse postale
Université Paris 7
Case 7012
75205 Paris Cedex 13
Recherche
Domaines d'intérêt
- Algèbre combinatoire et effective : présentations par générateurs et relations, problème du mot, réécriture, bases de Gröbner, théorie de Garside
- Algèbre homotopique et supérieure : catégories de modèles, approximations cofibrantes et résolutions, invariants homologiques et homotopiques, structures supérieures et à homotopie près, problèmes de cohérence
- Objets d'étude : monoïdes et groupes d'Artin, opérades et algèbres sur des opérades, catégories supérieures
Articles
- Convergent presentations and polygraphic resolutions of associative algebras, Math. Z. 293 (2019), n°1-2, 113-179, avec Eric Hoffbeck et Philippe Malbos
- Polygraphs of finite derivation type, Math. Structures Comput. Sci. 28 (2018), n°2, 155-201, avec Philippe Malbos
- Quadratic normalisation in monoids, Internat. J. Algebra Comput. 26 (2016), n°5, 935-972, avec Patrick Dehornoy
- Coherent presentations of Artin monoids, Compos. Math. 151 (2015), n°5, 957-998, avec Stéphane Gaussent et Philippe Malbos
- A homotopical completion procedure with applications to coherence of monoids, RTA (2013), 20 pages, avec Philippe Malbos et Samuel Mimram
- Identities among relations for higher-dimensional rewriting systems, Sémin. Congr. 26 (2013), 145-161, avec Philippe Malbos
- Higher-dimensional normalisation strategies for acyclicity, Adv. Math. 231 (2012), n°3-4, 2294-2351, avec Philippe Malbos
- Coherence in monoidal track categories, Math. Structures Comput. Sci. 22 (2012), n°6, 931-969, avec Philippe Malbos
- Higher-dimensional categories with finite derivation type, Theory Appl. Categ. 22 (2009), n°18, 420-478, avec Philippe Malbos
- Polygraphic programs and polynomial-time functions, Log. Methods in Comput. Sci. 5 (2009), n°2:14, 1-37, avec Guillaume Bonfante
- Intensional properties of polygraphs, Electron. Notes Theor. Comput. Sci. 203 (2008), n°1, 65-77, avec Guillaume Bonfante
- The three dimensions of proofs, Ann. Pure Appl. Logic 141 (2006), n°1-2, 266-295
- Two polygraphic presentations of Petri nets, Theoret. Comput. Sci. 360 (2006), n°1-3, 124-146
- Termination orders for 3-dimensional rewriting, J. Pure Appl. Algebra 207 (2006), n°2, 341-371
- Termination orders for 3-polygraphs, C. R. Math. Acad. Sci. Paris 342 (2006), n°4, 219-222
- MIC*: a deployment environment for autonomous agents, Lecture Notes Comput. Sci. 3374 (2005), avec Abdelkader Gouaich et Fabien Michel
- MIC*: algebraic agent deployment environment, Lecture Notes Comput. Sci. 2871 (2003), avec Abdelkader Gouaich
Mémoires
-
Rewriting methods in higher algebra, Mémoire d'Habilitation à Diriger des Recherches (2019), Univ. Paris 7
- Transparents de la soutenance, 18 juin 2019
- Présentations d'opérades et systèmes de réécriture, Thèse de Doctorat (2004), Univ. Montpellier 2
- Algébroïdes de Lie et algèbres de Batalin-Vilkovisky, Mémoire de DEA (2000), Univ. Montpellier 2
- Il n'y a pas de trou à l'infini dans un monoïde commutatif de type fini, Mémoire de Maîtrise (1999), Univ. Montpellier 2
Logiciels
- Rewr (avec Samuel Mimram), outil pour la réécriture en dimension supérieure — Tool for higher-dimensional rewriting
- Catex (documentation), extension Latex pour les diagrammes de cordes — Latex extension for string diagrams
- Cox, fonctions Python pour les présentations cohérentes des monoïdes d'Artin — Python functions for coherent presentations of Artin monoids
Liens
Étudiants
- Antoine Allioux, avec Matthieu Sozeau, depuis février 2018
- Simon Forest, avec Samuel Mimram, depuis septembre 2017
- Maxime Lucas, avec Pierre-Louis Curien, thèse soutenue le 1er décembre 2017
- Cyrille Chenavier, avec Philippe Malbos, thèse soutenue le 9 décembre 2016
Séminaires
Rencontres organisées
- Higher-Dimensional Rewriting and Applications, 7 juillet 2018, Oxford
- Categories in Homotopy and Rewriting, 25-29 septembre 2017, CIRM, Marseille
- Higher-Dimensional Rewriting and Applications, 8-9 septembre 2017, Oxford
- Journées nationales Géocal-LAC, 28-29 novembre 2016, Paris
- Higher-Dimensional Rewriting and Applications, 25-26 juin 2016, Porto
- Higher-Dimensional Rewriting and Applications, 28-29 juin 2015, Varsovie
- Homotopy in Concurrency and Rewriting, 9-12 juin 2015, Saclay
- Mathematical Structures of Computation, 13 janvier – 14 février 2014, Lyon
- Logic and Interactions, 30 janvier – 2 mars 2012, CIRM, Marseille
- Operads and Rewriting, 2-4 novembre 2011, Lyon