Micaela Mayero

Je suis maitre de conference au sein du LIPN. Ma nouvelle page est accessible ici.

(Cette page est en construction. Vous pouvez aussi voir mes anciennes pages à l'INRIA et à Chalmers.)

J'ai été ATER à PPS.

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

Je fais partie du
groupe de travail "preuves".

  Publications

 Vous pouvez me joindre à:

Adresse postale : Adresse physique :
PPS
Université Denis Diderot
Case 7014
2 Place Jussieu
75251 PARIS Cedex 05
175 Rue du Chevaleret
75013 PARIS

Métro : Chevaleret ou Bibliothèque
Bureau 6C20

eMail : Micaela.Mayero[at]pps.jussieu.fr
Tél. : (33)-(0)1 44 27 86 91
Fax : (33)-(0)1 44 27 86 54




Last modified: Oct 14 17:50:28 MET DST 2004