|
|
| Micaela Mayero
| |
|
Contacts: English version Last modified: Sun Jun 28 17:15:49 CEST 2009 |
Je suis maître de conférences à
l'IUT de Villetaneuse. J'ai été en délégation CNRS en 2008-2009 et je suis actuellement en délégation INRIA dans l'équipe-projet Arénaire. J'effectue ma recherche au LIPN, au sein de l'équipe LCR où je fais partie du thème Spécification et Vérification (anciennement Spécifications de systèmes et aide à la modélisation) et au LIP au sein d'Arénaire. 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, ... |