Micaela Mayero

• Accueil
• Domaines de recherche
  • Présentation
  • Raffinement de réseaux de Petri
  • Projet CerPAN
  • Projet FOST
  • Projet TaMaDi
  • Projet Coquelicot
  • Projet ELFIC
  • Projet MILC
  • Projet LiberAbaci
• Publications
• M2: cours et stages

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

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, ...