معرفی
Micaela Mayero is a Researcher at the Laboratoire d'Informatique de Paris Nord (LIPN), affiliated with the Institut Galilée at Université Paris Nord. Her work focuses on formal proofs, numerical analysis, and verification using the Coq proof assistant.
- Education: PhD in Computer Science (2001) from Université Paris VI, Habilitation à Diriger des Recherches (2012).
Her research spans formal verification, type theory, and numerical analysis, with a strong emphasis on mechanized proofs in mathematics and programming. Recent publications highlight applications in Lebesgue integration, polynomial approximations, and partial differential equations, reflecting her expertise in bridging theoretical mathematics with computational verification.
Key trends across her articles include formalization of mathematical theorems in Coq, verification of numerical algorithms, and refinement of Petri net models. Collaborations with teams across France and Europe underscore her interdisciplinary approach.
