ex-Facoltà di Scienze MM. FF. NN.
Università degli studi di Padova
Dettaglio Docente

Dettaglio docente

Docente:
MAIETTI MARIA EMILIA
Qualifica:
Professore associato L. 240/2010
Struttura:
Dipartimento di Matematica
Telefono:
049-8271478
Mail:
mariaemilia.maietti@unipd.it
Sito web:
http://www.math.unipd.it/~maietti/
SSD:
MAT/01
Ricevimento:

martedi' presso l'ufficio 704, Torre Archimede dalle ore 17 alle 19

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.
Aggiornata il 15/07/2011 11:06
N. 10674219     dal 20.07.2007