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