Micaela Mayero

      

Contacts:

LIPN - UMR CNRS 7030
Institut Galilée - Université Paris Nord
99 avenue Jean-Baptiste Clément
93430 Villetaneuse
FRANCE

Tél.
Fax
: +33 (0) 1 49 40 36 91
: +33 (0) 1 48 26 07 12
Micaela.Mayero [at] lipn.univ-paris13.fr
Bureau
: A209


English version

Last modified: Mon Nov 28 8:15:49 CEST 2022
Je suis maître de conférences HDR à l'IUT de Villetaneuse.
J'effectue ma recherche au LIPN, au sein de l'équipe LoVe

Mots clés concernant mes principaux axes de recherche:
preuves formelles, calcul formel, formalisation des mathématiques, nombres réels, logique, théorie des types, vérification, analyse numérique, spécifications formelles, raffinement, systèmes d'aide à la preuve, ...