Paolo Maffezioli CURRICULUM VITAE INFORMAZIONI PERSONALI. Data di nascita 31/01/1984

Dimensione: px

Iniziare la visualizzazioe della pagina:

Download "Paolo Maffezioli CURRICULUM VITAE INFORMAZIONI PERSONALI. Data di nascita 31/01/1984"

Sabina Valenti
7 anni fa
Visualizzazioni

1 AL MAGNIFICO RETTORE DELL UNIVERSITA' DEGLI STUDI DI MILANO Il sottoscritto chiede di essere ammesso a partecipare alla selezione pubblica, per titoli ed esami, per il conferimento di un assegno di ricerca presso il Dipartimento di Filosofia, responsabile scientifico il Dott. Giuliano Torrengo Paolo Maffezioli CURRICULUM VITAE INFORMAZIONI PERSONALI Cognome Maffezioli Nome Paolo Data di nascita 31/01/1984 OCCUPAZIONE ATTUALE Periodo Incarico Struttura Gen.2015-Gen.2017 COFUND Marie Skłodowska-Curie Research Fellow Dipartimento di Filosofia e Scienze dell'educazione, Università degli studi di Torino OCCUPAZIONI PRECEDENTI Periodo Incarico Struttura Sett.2012-Ago.2014 Postdoc Facoltà di Filosofia, Università di Groningen Mag.2012-Sett.2012 Postdoc Facoltà di Informatica, Technische Universität Wien ISTRUZIONE E FORMAZIONE Titolo Corso di studi Università Anno di conseguimento del titolo Dottorato di ricerca Filosofia Università di Firenze 2012 Laurea Specialistica Filosofia Università di Bologna 2008 Laurea Filosofia Università di Bologna 2006 LINGUE STRANIERE CONOSCIUTE lingue livello di conoscenza Inglese Ottimo (C2)

2 PREMI, RICONOSCIMENTI E BORSE DI STUDIO Anno Descrizione 2015 Borsa di studio: COFUND Marie Skłodowska-Curie fellowship. Ente finanziatore: Commissione Europea e Compagnia di San Paolo. Progetto: Preference, Logic and Social Choice. Durata: 2 anni. Budget: 78,200. Struttura: Departimento di Filosofia e Scienze dell'educazione, Università di Torino Borsa di studio: Short Term Scientific Mission Fellowship. Ente finanziatore: COST Action IC1205 on Computational Social Choice. Progetto: Proof Theory of Modal Logics for Social Choice Theory. Durata: 1 mese. Budget: 1,200. Struttura: Institute for Logic, Language and Computation, Università di Amsterdam Borsa di studio: Visiting fellowship for doctoral studies. Ente finanziatore: Finnish Center for International Mobility (CIMO). Progetto: Proof Theory of Epistemic Logics. Durata: 10 mesi. Budget: 10,800. Struttura: Dipartimento di Filosofia, Università di Helsinki Borsa di studio: Dottorato di ricerca con borsa. Ente finanziatore: Ministero dell'università e della ricerca. Progetto: Proof Theory of Epistemic Logics. Durata: 3 anni. Struttura: Dipartimento di Filosofia, Università di Firenze. ATTIVITÀ DI FORMAZIONE O DI RICERCA Anno Attività 2015 Visiting scholar, Università di Amsterdam. Faculty mentor: Ulle Endriss 2012 Visiting scholar, Ohio State University. Faculty mentor: Neil Tennant 2010 Visiting scholar, Università di Helsinki. Faculty mentor: Sara Negri 2015 Professore a contratto, Università Ca' Foscari, corso: Logic (in English) 2015 Assistente alla didattica, Università di Torino, corso: Logica 2015 Assistente alla didattica, Università di Bologna, corso: Logica ATTIVITÀ PROGETTUALE Anno Progetto Principal investigator del progetto Preference Logic and Social Choice, Università di Torino Postdoc del progetto Logics for Intelligent Interaction: Expressivity and Succinctness di Barteld Kooi, Università di Groningen 2012 Postdoc del progetto Non-classical Proofs: Theory, Applications and Tools di Agata Ciabattoni, Vienna University of Technology

3 CONGRESSI, CONVEGNI E E SEMINARI Data Titolo Luogo 2016 Il ruolo della logica nei primi sviluppi della teoria della scelta sociale 2016 Sequent systems with labels for non-normal modal Logics 2015 Proof analysis of the liberal paradox 2015 Logica dei predicati e teoria della scelta sociale 2014 Public announcement logic in proof theory 2014 Proof theory for weak notions of knowledge 2014 Sequent systems with labels for non-normal modal logics 2013 A proof-theoretic view on preference relations and choice functions 2013 Sequent systems for classical modal logics 2012 Proof theory of epistemic logic of programs 2011 The Fitch paradox of knowability in proof theory 2011 Labelled sequent systems for dynamic Epistemic Logics Seminario di storia della filosofia moderna, Università di Torino Unified Correspondence Workshop, Lorentz Center, University of Leiden, Paesi Bassi The 15th Congress on Logic, Methodology and Philosophy of Science, Università di Helsinki, Finlandia Center for Logic, Language and Cognition, Università di Torino Seminario interno, Center for Logics, Ethics and Philosophy of Science, University of Tilburg, the Netherlands Workshop on Proof Theory and Philosophy, University of Groningen, the Netherlands Internal Research Seminar, Delft University of Technology, the Netherlands ESSLLI Workshop on Logical Models for Group Decision Making, European Summer School in Logic, Language and Information, Henrich Heine University, Germany Logica 2013, Academy of Sciences of the Czech Republic, Hejnice, Czech Republic The 5th Conference on Non-Classical Logics, Nicolaus Copernicus University, Toruń, Poland Logic Colloquium, University of Barcelona, Spain Workshop on Non-classical Logics, Vienna University of Techology, Austria 2010 A proof-theoretic perspective on International Conference of the

4 public announcement logic 2010 Sequent calculi for dynamic epistemic logic Italian Society for Logic and Philosophy of Science, University of Bergamo, Italy Internal Research Seminar, University of Helsinki, Finland PUBBLICAZIONI Articoli su riviste P. Maffezioli. Sequents for non-wellfounded mereology, Logic and Logical Philosophy, pubblicato online il 12 aprile, P. Maffezioli. Analytic rules for mereology. Studia Logica, 104(1):79-114, P. Maffezioli, D. Gilbert. Modular sequent calculi for classical modal logics, Studia Logica, 103(1): , P. Maffezioli, A. Naibo. Proof theory of epistemic logic of programs, Logic and Logical Philosophy, 23(3): , P. Maffezioli, A. Naibo, S. Negri. The Church-Fitch paradox in the light of structural proof theory, Synthese, 190(14): , P. Maffezioli, S. Negri. A proof theoretical perspective on Public Announcement Logic, Logic and Philosophy of Science, 9:49-59, P. Maffezioli. Commentary of Micromotives and Macrobehavior by T. C. Schelling, Humana.Mente, 10: , Atti di convegni (peer-reviewed) A. Ciabattoni, P. Maffezioli, L. Spendier. Hypersequent and labelled calculi for intermediate logics, in D. Galmiche and D. Larchey-Wendling, editors, Automated Reasoning with Analytic Tableaux and Related Methods, volume 8123 of Lectures Notes in Computer Science, pages 81-96, P. Maffezioli, S. Negri. A Gentzen-style analysis on Public Announcement Logic, in X. Arrazzola and M. Ponte, editors, Proceedings of the International Workshop on Logic and Philosophy of Knowledge, Communication and Action, Univeersity of the Basque Country, pages , ALTRE INFORMAZIONI Revisore per Logique et Analyse (2), Journal of Logic and Computation (3), Journal of Applied Non-classical Logics (1), Synthese (1), Artificial Intelligence (1) Membro del comitato organizzativo per 10th International Conference on Advances in Modal Logic (AiML 2014), University of Groningen, August 5-8, 2014 Membro del comitato scientifico di Philosophical Readings

5 Le dichiarazioni rese nel presente curriculum sono da ritenersi rilasciate ai sensi degli artt. 46 e 47 del DPR n. 445/2000. Il presente curriculum, non contiene dati sensibili e dati giudiziari di cui all art. 4, comma 1, lettere d) ed e) del D.Lgs n Luogo e data: Torino, 20/04/2016 FIRMA

Documenti analoghi

ACM Transactions on Computation Theory ACM Transactions on Computational Logic 2

Titolo Rivista classe A ACM Transactions on Computation Theory ACM Transactions on Computational Logic 2 AI Communications Acta Mathematica 1 Acta Mathematica Hungarica 11 Acta Mathematica Sinica. English