MAIETTI MARIA EMILIA

Posizione attuale
===========================
Full Professor of Mathematical Logic since 1/8/2023
=========================================

Distinctions
===========================
Holder of Italian Full Professorship Habilitation in sector 01/A1 since 28/11/2014 (up to 14/1/2029).

Member of the Editorial Board of the journal "Mathematical Logic Quarterly'' since 1/1/2016

Member of the Editorial Board of the "Journal of Logic and Analysis" since 30/10/20

Guest editor of two special issues of Annals of Pure and Applied Logic and one special issue of ``Journal of Logic and Analysis".




Studies
============================
1987 Higher order school leaving certificate with mark 60/60 (Verona)
1987-1993 Laurea 110/110 with honours in Mathematics - University of Padova, supervisors: S. Valentini and G. Rosolini.
PhD in Mathematics-University of Padova, 1993-1998, supervisors: S. Valentini and G. Sambin.



Previous positions
============================
1/9/2015-31/7/2023- Associate Professor of in Mathematical Logic - Dipartimento di Matematica- University of Padova
1/10/2007-31/8/2015 Tenured academic researcher in Mathematical Logic at Dipartimento di Matematica Pura ed Applicata, University of Padova.


Research fellowships:
1995 (6 months)Visiting grant holder -Mathematical Research Institute, Utrecht University (Holland), supervisor: Ieke Moerdijk.
1998 (6 months)Visiting grant holder- Department of Pure Mathematics and Mathematical Statistics, University of Cambridge (UK), supervisor: Martin Hyland.
1998-2000 (18 months) EPSRC Research fellowship at the School of Computer Science, University of Birmingham, supervisors: Valeria de Paiva and Eike Ritter.
1999-2001 Dipartimento di Matematica pura ed applicata, Università di Padova, supervisor S. Valentini.
2001-2002 Senior Grant Holder funded by Istituto Nazionale di Alta Matematica "Francesco Severi", Roma.
2002-2006 Grant holder at the Dipartimento di Matematica Pura ed Applicata- Università di Padova, supervisor S. Valentini.
2006-2007 Grant holder at: Dipartimento di informatica dell'Università di Genova, supervisor Giuseppe Rosolini; Dipartimento di informatica Università di Torino, supervisor Stefano Berardi; Dipartimento di Matematica Pura ed Applicata, Università di Padova, supervisor S. Valentini,; Dipartimento di Matematica -Università di Genova, supervisor Marco Grandis;
Dipartimento di Scienze dell'Informazione, Università di Bologna, supervisor Claudio Sacerdoti Coen.



Supervisione di progetti /fellowships
=================================================================================
Supervisor of Padova site for the EU project RISE-Marie Curie Actions ``Computing with Infinite Data'' CID H2020 731143 (2017-2022)
Local Budget: 60093,92 euro

Scientific supervisor of the following projects:
--one year fellowship ``Homotopy type theoretic aspects within the Minimalist Foundation'' f(1 /2/2018-31/1/2019) funded by Universita' di Padova and taken by Dr. Fabio Pasquali.
Budget: 21721 euro
--a two-year project ``A minimalist approach to Algebraic Set Theory'' funded by Universita' di Padova, 31/1/2016-30/6/2018 with one year fellowship taken by Dr. Fabio Pasquali.
Budget: 29.679 euro.
-- two years fellowship Pointfree constructive analysis in the Minimalist Foundation'' funded by Universita' di Padova (2014-2016) taken by Dr. Samuele Maschio.
Budget: 46152 euro
-- Supervisor of Padova site for the EU project International Research Staff Exchange Scheme (IRSES)-Marie Curie Actions``Correctness by Construction'' CORCON, FP7-PEOPLE-2013-IRSES 612638, (2014-2017).
Local Budget: 37800 euro.


Selected invitations:
=====================================
invited participant at Oberwolfach workshop Mathematical Logic: Proof Theory, Constructive Mathematics 8-14/11/2020 and
from 12-17/11/2023
Senior participant at the Hausdorff Trimester Program ``Types, Sets, and Constructions" at the Hausdorff Research Institute for Mathematics, Bonn, Germany, 2018 (May-June)
Senior participant at the Hausdorff Trimester Program ``Prospects of Formal Mathematics" at the Hausdorff Research Institute for Mathematics, Bonn, Germany, 2024 (June)

invited speaker at:

Memorial Conference for Erik Palmgren, online 19-21/11/20
Workshop Mathematical Logic and Constructivity, Stockholm University 20-23/8/2019
Conference ``Das Kontinuum – 100 years later'', Leeds, 11-15/9/2018,
Conference: ``Toposes in Como", 27-29/6/2018 by O. Caramello, A. Connes, C. Consani, L. Lafforgue
``Second Workshop on Mathematical Logic and its Applications'', Kanazawa, Japan, 5-9/3/2018.

Lecturer for 12 hours on ``Category Theory and Logic' at the Summer School in Logic 21-27/8/2016 organized by Associazione di Logica e sue Applicazioni e SILFS, at Gargnano (Bescia).

Visits of at least one month:
2000 Xerox Palo Alto Research Center (Usa) and School of Computer Science - University of Birmingham.
2001 Mittag-Leffler Institute - The Royal Swedish Academy of Sciences, Stockholm, Sweden.
2010 Department of Mathematics and Statistics-University of Canterbury, New Zealand, funded by EU-IRSES project ``Corcon''.
2014 Australian National University-College of Engineering and Computer Science (Canberra) funded by EU-IRSES project CORCON.
2015 Japan Advanced Institute of Science and Technology, Nomi (Japan), funded by the EU-IRSES project CORCON.
2016 and in 2017 Carnegie Mellon University funded by EU-IRSES project CORCON.
2018 Japan Advanced Institute of Science and Technology, Nomi (Japan), unded by EU-RISE project ``CID"'
2019 Department of Mathematics and Statistics-University of Canterbury, New Zealand, funded by EU-RISE project ``CID"'
2020 Department of Mathematical Sciences- University of Cincinnati and Carnegie Mellon University funded by EU-RISE project ``CID"'


Partecipazione a comitati di conferenze
=================================
``Fourth Workshop on Formal Topology'', Ljubljana (Slovenia), 15-19/6/12
``Fifth Workshop on Formal Topology'' Institut Mittag-Leffler, the Royal Swedish Academy of Sciences, Stockholm, Sweden 8-10/6/2015,
``XXVI Incontro dell'Associazione Italiana di Logica e sue Applicazioni'', Orto Botanico, Padova, 25-28/9/2017.
Workshop "Types, Homotopy Type theory, and Verification", 4-8/6/2018 at the Hausdorff Research Institute for Mathematics, Bonn, Germany with Steve Awodey and Thierry Coquand.
Workshop "Continuity, Computability and Constructivity, (CCC 2018)" for the EU project RISE CID, September 2018.
Workshop "Continuity, Computability and Constructivity, (CCC 2021)" for the EU project RISE CID, September 2021.


Attivita' relative al dottorato
==================================
Member of the board of the PhD program in Mathematical Sciences, University of Padova, since 1/10/2018

Member of the PhD committee for: (last ten years)
Johan Lindberg'-University of Stockholm- 16/12/2020 supervisors: E. Palmgren and P. LeFanu Lumsdaine
Davide Trotta - University of Trento - 17/12/2019 supervisor G. Rosolini
Jacopo Emmenegger -University of Stockholm -18/1/2019 supervisor: E. Palmgren (OPPONENT)
Giulia Frosoni - University of Genova -18/12/2017 supervisor G. Rosolini
Hakon Robbestad Gylterud - University of Stockholm, 9/2/2017 Supervisor: Erik Palmgren.
Simon Huber - University of Gothenburg , 29/11/2016 supervisor: T. Coquand.
Samuele Maschio - University of Pavia - 29/12/2012 - supervisor: G. Rosolini
Johan Granstroem - University of Stockholm- 16/1/2009 - supervisor- Per Martin-Loef.


Affiliazioni
=======================
member of "Associazione Italiana di Logica e sue Applicazioni."
2010-2020- member of the directory board of "Associazione Italiana di Logica e sue Applicazioni."



Risultati scientifici e punti salienti
============================================================
Type Theory, Categorical Logic and Constructive Topology

author of the ``Minimalist Foundation'' in 2005 with Giovanni Sambin and of a complete two-level formal system for the Minimalist Foundation nel 2009.
author of the notion ``elementary quotient completion of an elementary doctrine'' in 2013 with Giuseppe Rosolini.



Dati bibliometrici di Scopus - Gennaio 2021
===========================================
10 H-index
230 citations
29 documents
==========================================================