معرفی
Matthieu Piquerez is a postdoctoral researcher in discrete mathematics at Goethe-Universität, Frankfurt, since January 2025, working with Raman Sanyal in the discrete mathematics research group. His research focuses on polytopes, fans, and tropical Hodge theory, continuing his PhD work. He also leads a project developing certified diagrammatic reasoning tools using the Coq proof assistant, initiated during his previous postdoc at Gallinette in Nantes (2022–2024).
Education: PhD in Mathematics (2021) under Omid Amini at Paris-Saclay University, and Master's thesis (2017) under Amini's supervision. Earlier work includes a first-year project on plane partitions.
Research interests span tropical geometry, homological algebra, algebraic topology, and formal methods for computer-aided proofs. His recent work bridges discrete mathematics with certified computational tools, particularly in diagrammatic reasoning and tropical cohomology.
Key contributions include advancements in tropical Hodge theory, certified diagrammatic reasoning frameworks, and cohomological studies of tropical varieties. He has published in venues such as FSCD and CSL conferences, and his preprints explore tropical fans, Feichtner-Yuzvinsky complexes, and Hodge structures.
Volunteer work includes roles in local currency associations (Moneko) and math outreach (FFJM, Animath's Mathmosphère project), promoting accessible mathematics education.
