![]()
|
| Micaela Mayero
| |
Contacts: 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, ... |