Micaela Mayero

Registered user since Mon 22 Jul 2019

Name: Micaela Mayero

Bio: Micaela Mayero received her PhD degree and Habilitation in computer science from the University Paris 6 and Paris 13, France, in 2001 and 2012, respectively. She is a senior lecturer for the University Paris 13 in the LIPN laboratory (France) in the LoVe (Logic and Verification) team, whose research focuses on formal certification of programs. Her main research interests are formal methods for critical problems, including formal verification of numerical programs.

Country: France

Affiliation: LIPN, Université Paris 13

Personal website: https://www-lipn.univ-paris13.fr/~mayero/

Research interests: formal proof of critical problems

Contributions

FHPNC 2019Author of Formal Verification of Scientific Computing Programs within the FHPNC-track
CPP 2018Author of Formal Proof of Polynomial-Time Complexity with Quasi-Interpretations within the CPP 2018-track
CPP 2017Author of A Coq Formal Proof of the Lax–Milgram theorem within the CPP-track