Docente:
MAIETTI MARIA EMILIA
Qualifica:
Professore associato L. 240/2010
Struttura:
Dipartimento di Matematica
Mail:
mariaemilia.maietti@unipd.it
Sito web:
http://www.math.unipd.it/~maietti/
Ricevimento:
martedi' presso l'ufficio 704, Torre Archimede dalle ore 17 alle 19
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.
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.