Page personnelle de Matthieu Piquerez

FR : Je suis en post-doc en informatique et en mathématiques depuis janvier 2022 avec Assia Mahboubi à Nantes université dans l'équipe Gallinette (inria). Je développe des bibliothèques dans des assistants de preuve (en Coq) pour effectuer simplement des raisonnements diagrammatiques ou utiliser d'autres outils avancés (commutativité de diagrammes, chasses aux diagrammes, suites spectrales, ...) dans des preuves formelles, tout en poursuivant mes travaux de thèse en mathématique sur la théorie de Hodge tropicale.

EN : I am a postdoctoral researcher in computer science and in mathematics since january 2022, in the university of Nantes (France) in the team Gallinette (inria). Assia Mahboubi and I are developping libraries in proof assistants (in Coq) in order to perform easily diagramatic reasonnings and to use other advanced mathematical tools (commutativity of diagrams, diagram chasing, spectral sequences, etc.) in formal proofs. I also continue to study tropical Hodge theory.

EO : Mi estas komputika kaj matematika esploristo. Mi laboras en la universitato de Nanto (Francio) en la teamo Gallinette (inria). Mi laboras kun Assia Mahboubi kaj mi provas fari biblioteko por uzi facile diversajn matematikajn ilojn por atestadoj de pruvoj. Mi ankaŭ plu esploras matematike tropikan Hoĝan teorion.

Contact   matthieu {point} piquerez {at} univ-nantes {point} fr   (ou   matthieupi2 {at} yahoo {point} fr   ).

Voici mon CV.

Here is my CV.

Écrits / Papers

  1. Avec E. Aksnes, O. Amini et K. Shaw. Cohomologically tropical varieties. arXiv:2307.02945 (2023), accepté (après modifications mineures) dans le Journal of the Institute of Mathematics of Jussieu
  2. Avec A. Mahboubi. A first order theory of diagram chasing. Lien HAL Dans 32nd EACSL Annual Conference on Computer Science Logic 2024 (CSL’24), Naples (Université Federico II), Italy, 2024

  3. Avec O. Amini. Hodge theory for tropical fans. Brouillon (2023)
  4. Manuscrit de thèse: Tropical Hodge theory and applications pdf (sous la direction d'Omid Amini, 2021)
  5. Avec O. Amini. Homology of tropical fans. Prébublication arxiv:2105.01504 (2021)
  6. Avec O. Amini. Tropical Clemens-Schmid sequence and existence of tropical cycles with a given cohomology class. Prébublication arxiv:2012.13142 (2020).
  7. Avec O. Amini. Hodge theory for tropical varieties. Prébublication arXiv:2007.07826 (2020).
  8. A multidimensional generalization of Symanzik polynomials. Prépublication arxiv:1901.09797
  9. Mémoire de Master : A generalization of Symanzik polynomials (sous la direction d'Omid Amini, 2017) pdf
  10. Exposé de 1ère année : Partitions planes (avec Louise Gassot, sous la direction de Jérémie Bouttier) pdf

Logiciels / Softwares

Autres activités / Other activities