Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Sun 18 Aug 2019 17:10 - 18:10 at Reindeer - Verification Chair(s): Gabriele Keller

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.

Sun 18 Aug

17:10 - 18:10: FHPNC - Verification at Reindeer
Chair(s): Gabriele KellerUtrecht University
FHPNC-2019-papers17:10 - 18:10
Micaela MayeroLIPN, Université Paris 13