Presentazione

Dettaglio Docente

MAIETTI MARIA EMILIA

Professore associato L. 240/2010

Dipartimento di Matematica

049-8271478

mariaemilia.maietti@unipd.it

http://www.math.unipd.it/~maietti/

MAT/01

Curriculum Scientifico

Laureata nel '93 con lode in matematica all'Universita' di Padova con una tesi in logica matematica, ammessa poi al dottorato in matematica presso la stessa universita', nel '98 ho conseguito il titolo di dottore di ricerca sempre con tesi in logica (supervisore prof. Valentini). Durante il dottorato ho trascorso 6 mesi al Mathematical Research Institute dell'Universit di Utrecht (Olanda) sotto la supervisione del Prof. I. Moerdijk. Dal '98 al 2000 ho svolto i miei studi postdottorato all'estero: per 6 mesi presso il Department of Pure Mathematics dell'Universit di Cambridge (UK) (supervisore prof. M. Hyland), e poi presso la School of Computer Science dell'Universit di Birmingham (UK) (supervisori: Dr. E. Ritter e Dr. V. de Paiva). Dal 2000 al 2006 ho goduto di varie borse post-dottorato, prima all'Universit di Padova, e poi presso quelle di Genova, Torino e Bologna. Dal '07 sono ricercatrice di logica presso il dipartimento di matematica dell'Universita' di Padova.

Pubblicazioni più Rilevanti

1. M. E. Maietti A minimalist two-level foundation for constructive mathematics to appear in Annals of Pure and Applied Logic, 2009. 2. M.E. Maietti and G. Sambin Toward a minimalist foundation for constructive mathematics in From Sets and Types to Topology and Analysis: Practicable Foundations for Constructive Mathematics, (L. Crosilla and P. Schuster eds.) Oxford University Press, 2005. 3. M. E. Maietti Modular correspondence between dependent type theories and categorical universes including pretopoi and topoi in Mathematical Structures in Computer Science, 15(6):1089--1149, 2005. 4. M.E. Maietti, P. Maneggia, V. de Paiva and E. Ritter Relating Categorical Semantics for Intuitionistic Linear Logic in Applied Categorical Structures, volume 13(1):1--36, 2005. 5. ME. Maietti and S. Valentini A structural investigation on formal topology: coreflection of formal covers and exponentiability in Journal of Symbolic Logic, 69(4):967--1005, 2004.