LUCA SPADA | Curriculum
Curriculum Docente
Studi
=============================
* 2007 Dottorato in Logica Matematica e Informatica presso l'Università degli Studi di Siena.
* 2002 Laurea in Matematica presso l'Università degli Studi di Siena. Voto: 110/110 e lode.
Posizioni
=============================
* Da mag. 2016 Professore Associato di Logica Matematica presso il Dipartimento di Matematica dell'Università degli Studi di Salerno.
* Mar. 2012 - Mag. 2016 Ricercatore presso il Dipartimento di Matematica dell'Università degli Studi di Salerno.
* Ago. 2013 - Ago. 2015 Marie Curie Fellow presso l'Institute for Logic, Language, and Computation dell'Università di Amsterdam.
* Dic. 2006 - Dic. 2007 e Apr. 2009 - Mar. 2012 PostDoc presso il Dipartimento di Matematica e Informatica dell'Università degli Studi di Salerno.
* Lug. 2008 - Mar. 2009 PostDoc presso l'Istituto di matematica discreta e geometria dell'Politecnico di Vienna.
Distinzioni
=============================
* Da ago. 2018 abilitazione italiana come professore di prima fascia (settore A1/01).
* Da gen. 2012 Associate Editor della rivista Soft Computing.
* Nov. 2013 Guest editor di Mathematica Slovaca. Numero speciale per il 65° compleanno del prof. Antonio Di Nola.
* Nov. 2009 Guest editor per la serie Lectures Notes in Computer Science. Numero speciale contenente lavori selezionati presentati al 8th International Tbilisi Symposium on Language, Logic and Computation.
* Set. 2008 Guest editor per Annals of Pure and Applied Logic. Numero speciale dedicato ai 60 anni del prof. Franco Montagna.
Progetti di ricerca / borse di studio finanziati selezionati
=============================
* Set. 2021 - Set. 2025 Coordinatore locale del progetto europeo RISE (Marie Curie International Research Staff Exchange) “MOSAIC”. Il progetto coinvolge 28 università in Australia, Austria, Argentina, Brasile, Repubblica Ceca, Francia, Italia, Paesi Bassi, Polonia, Sud Africa, Spagna, Svizzera, Regno Unito e Stati Uniti.
* Dic. 2019 - Dic. 2022 Coordinatore locale del PRIN2017 “Theory and applications of Resource Sensitive Logics”. Il progetto coinvolge l'Università degli Studi di Salerno e l'Università degli Studi di Cagliari.
* Mar. 2016 - Feb. 2019 Coordinatore del progetto europeo RISE (Marie Curie International Research Staff Exchange) "Syntax meet Semantics: Methods, Interactions, and Connections in Substructural Logics". Il progetto coinvolge 25 università in Australia, Austria, Argentina, Brasile, Repubblica Ceca, Italia, Giappone, Paesi Bassi, Singapore, Sud Africa, Spagna, Svizzera e Stati Uniti.
* Ago. 2013 - Lug. 2015 Principal Investigator del progetto Marie Curie Fellowship (IEF). "A Dual Approach to Many-valued Semantics".
* Mar. 2011 - Mar. 2015 Coordinatore del progetto europeo IRSES (Marie Curie International Research Staff Exchange Scheme) "Matheamtical Tools for the Management of Uncertain and Vague Information". Il progetto coinvolge 15 università in Argentina, Brasile, Italia, Repubblica Ceca e Spagna.
* Gen. 2012 - Gen. 2015 Membro dell'unità di coordinamento del progetto PRIN2010-2011 (Research Project of National Relevance). "Strumenti logici per la gestione delle informazioni."
* Mar. 2010 - Gen. 2012 Membro dell'unità di coordinamento del progetto PRIN2008 (Progetto di ricerca di rilevanza nazionale). "Semantica algebrica per l'incertezza."
Conferenze, corsi, visite su invito (ultimi 6/7 anni)
=============================
* 2020 Are locally finite MV-algebras a variety? Shanks Workshop on Ordered Algebras and Logic. Vanderbilt University (Nashville, US).
* 2018 Kakutani duality, for groups. Duality in Algebra and Logic. Chapman University, California.
* 2018 Kakutani duality for groups. Topological Methods in Logic (To Lo VI). Tbilisi, Georgia.
* 2017 Geometric aspects of MV-algebras . Topology, Algebra and Categories in Logic (TACL). Prague, Czech Republic.
* 2017 Logica algebrica, invited course (12 hours) at the AILA Summer School of Logic. Gargnano, Italy.
* 2016 A categorical duality for residuated lattices. Soft Computing Days. Beijing, China.
* 2016 A duality for lattices with residuated operations. Topological Methods in Logic (ToLo) V. Tbilisi, Georgia.
* 2015 An extension of Basic Logic with fixed points, Coherence and Truth. In memoriam Franco Montagna. Certosa di Pontignano (Siena), Italia.
* 2014 A(nother) duality for the whole variety of MV-algebras. BEYOND 2014. University of Florence, Italy.
* 2014 A general framework for dualities. Workshop on dualities and Markov processes. McGill University Bellairs Research Institute, Barbados.
* 2014 Dualities, invited tutorial at The Latin American Symposium on Mathematical Logic. Buenos Aires, Argentina.
Comitati di conferenza (ultimi 6/7 anni)
=============================
* Set. 2020 Membro del Comitato Scientifico della conferenza LATD, Tbilisi, Georgia.
* Set. 2019 Membro del Comitato Scientifico della conferenza TbiLLC (Tredicesimo International Tbilisi Symposium on Language, Logic and Computation), Georgia.
* Gen. 2019 Membro del Comitato Scientifico della conferenza SYSMICS 2019,Amsterdam, Paesi Bassi.
* Set. 2018 Membro del Comitato Scientifico della Seconda scuola SYMICS, Les Diablerets, Svizzera.
* Set. 2018 Presidente del Comitato Organizzatore del convegno Geometria e logica non classica (dedicato al 70 ° compleanno di Antonio Di Nola), Salerno, Italia.
* Set. 2017 Membro del Comitato Scientifico della conferenza TbiLLC (Twelfth International Tbilisi Symposium on Language, Logic and Computation), Georgia.
* Set. 2016 Presidente del Comitato Scientifico della conferenza Syntax meets Semantics 2016, Barcelona, Spain.
* Set. 2015 Presidente del Comitato Scientifico della conferenza TbiLLC (Eleventh International Tbilisi Symposium on Language, Logic and Computation), Tbilisi, Georgia.
* Giu. 2015 Presidente del Comitato Organizzatore del convegno Topology, Algebra, and Categories in Logic, Ischia (NA), Italy.
* Giu. 2015 Organizzatore della Scuola di Topologia, Algebra e Categorie in Logica, Università di Salerno, Italia.
Altre attività professionali
=============================
* 2020-2023 Segretario dell'Associazione Italiana per la Logica e le sue Applicazioni (AILA).
* 2017-2020 Segretario dell'Associazione Italiana per la Logica e le sue Applicazioni (AILA).
* 2017-2020 Tesoriere dell'Associazione Italiana per la Logica e le sue Applicazioni (AILA).
Attività di insegnamento e mentoring (ultimi 6/7 anni)
=============================
*** Corsi su invito e internazionali
* Set. 2017 Logica algebrica, corso su invito (12 ore) presso AILA Summer School of Logic. Gargnano, Italia.
* Set. 2014 Docente del corso Many Valued Logics (6 CFU) per il M.Sc. in logica. ILLC, Università di Amsterdam, Paesi Bassi.
* Feb. 2014 Docente per il progetto Duality Theory (6 CFU) per il M.Sc. in logica. ILLC, Università di Amsterdam, Paesi Bassi.
*** Corsi di dottorato
* Mag. 2019 - Giu. 2019 Docente per il corso Teoria dei temi per il dottorato di ricerca. in matematica e fisica. Università degli Studi di Salerno.
* Mag. 2018 - Giu. 2018 Docente per il Corso di Categoria Teoria per il Dottorato di Ricerca. in matematica e fisica. Università degli Studi di Salerno.
* Gen. 2017 - Feb.2017 Docente per il corso di Categoria Teoria per il Dottorato di Ricerca. in matematica e fisica. Università degli Studi di Salerno.
*** Tutoraggio
* Dic. 2020 - Relatore in corso per una tesi di laurea in Logica (Luigi Del Gaudio)
* Dic. 2020 - Dic.2021 Supervisore della ricerca PostDoc del Dott. Marco Abbadini.
* Ago. 2016 - Lug. 2019 Supervisore della ricerca PostDoc della Dott.ssa Serafina Lapenta.
* Mag. 2018 - Set. 2018 Relatore per una tesi di Laurea Magistrale in Logica (Federica Di Stefano, Università di Salerno, 110 e lode).
* Gen.2018 - Giu. 2018 Relatore per una tesi di Laurea in Logica (Elvira Plenzich, Università di Salerno, 107).
* Gen. - Marzo 2017 Relatore o tesi di laurea triennale in Logica (Alice Ciliberti, Università di Salerno. 110 e lode)
*** Corsi universitari
* Set. 2018 Docente del corso di Logica Matematica (7 CFU) per il B.Sc. in Matematica, Università degli Studi di Salerno.
* Set. 2018 Docente per il corso Calculus I (9 CFU) per il B.Sc. in Ingegneria Meccanica, Università degli Studi di Salerno.
* Set. 2017 Docente per il corso Calculus I (9 CFU) per il B.Sc. in Ingegneria Meccanica, Università degli Studi di Salerno.
* Set. 2017 Docente per il corso di Logica Matematica (7 CFU) per il B.Sc. in Matematica, Università degli Studi di Salerno.
* Set. 2017 Docente del corso Calcolo I (5 CFU) per il B.Sc. in Scienze Ambientali, Università degli Studi di Salerno.
* Set. 2016 Docente per il corso Calculus I (9 CFU) per il B.Sc. in Ingegneria Meccanica, Università degli Studi di Salerno.
* Set. 2016 Docente per il corso Calculus I (5 CFU) per il B.Sc. in Scienze Ambientali, Università degli Studi di Salerno.
* Set. 2015 Docente del corso di Matematica per l'Economia (10 CFU) per il B.Sc. in Economia e Management, Università degli Studi di Salerno.
Bibliometria
=============================
*** Scopus
* indice h: 4
* numero totale di citazioni: 68
* documenti dell'autore: 22
=============================
* 2007 Dottorato in Logica Matematica e Informatica presso l'Università degli Studi di Siena.
* 2002 Laurea in Matematica presso l'Università degli Studi di Siena. Voto: 110/110 e lode.
Posizioni
=============================
* Da mag. 2016 Professore Associato di Logica Matematica presso il Dipartimento di Matematica dell'Università degli Studi di Salerno.
* Mar. 2012 - Mag. 2016 Ricercatore presso il Dipartimento di Matematica dell'Università degli Studi di Salerno.
* Ago. 2013 - Ago. 2015 Marie Curie Fellow presso l'Institute for Logic, Language, and Computation dell'Università di Amsterdam.
* Dic. 2006 - Dic. 2007 e Apr. 2009 - Mar. 2012 PostDoc presso il Dipartimento di Matematica e Informatica dell'Università degli Studi di Salerno.
* Lug. 2008 - Mar. 2009 PostDoc presso l'Istituto di matematica discreta e geometria dell'Politecnico di Vienna.
Distinzioni
=============================
* Da ago. 2018 abilitazione italiana come professore di prima fascia (settore A1/01).
* Da gen. 2012 Associate Editor della rivista Soft Computing.
* Nov. 2013 Guest editor di Mathematica Slovaca. Numero speciale per il 65° compleanno del prof. Antonio Di Nola.
* Nov. 2009 Guest editor per la serie Lectures Notes in Computer Science. Numero speciale contenente lavori selezionati presentati al 8th International Tbilisi Symposium on Language, Logic and Computation.
* Set. 2008 Guest editor per Annals of Pure and Applied Logic. Numero speciale dedicato ai 60 anni del prof. Franco Montagna.
Progetti di ricerca / borse di studio finanziati selezionati
=============================
* Set. 2021 - Set. 2025 Coordinatore locale del progetto europeo RISE (Marie Curie International Research Staff Exchange) “MOSAIC”. Il progetto coinvolge 28 università in Australia, Austria, Argentina, Brasile, Repubblica Ceca, Francia, Italia, Paesi Bassi, Polonia, Sud Africa, Spagna, Svizzera, Regno Unito e Stati Uniti.
* Dic. 2019 - Dic. 2022 Coordinatore locale del PRIN2017 “Theory and applications of Resource Sensitive Logics”. Il progetto coinvolge l'Università degli Studi di Salerno e l'Università degli Studi di Cagliari.
* Mar. 2016 - Feb. 2019 Coordinatore del progetto europeo RISE (Marie Curie International Research Staff Exchange) "Syntax meet Semantics: Methods, Interactions, and Connections in Substructural Logics". Il progetto coinvolge 25 università in Australia, Austria, Argentina, Brasile, Repubblica Ceca, Italia, Giappone, Paesi Bassi, Singapore, Sud Africa, Spagna, Svizzera e Stati Uniti.
* Ago. 2013 - Lug. 2015 Principal Investigator del progetto Marie Curie Fellowship (IEF). "A Dual Approach to Many-valued Semantics".
* Mar. 2011 - Mar. 2015 Coordinatore del progetto europeo IRSES (Marie Curie International Research Staff Exchange Scheme) "Matheamtical Tools for the Management of Uncertain and Vague Information". Il progetto coinvolge 15 università in Argentina, Brasile, Italia, Repubblica Ceca e Spagna.
* Gen. 2012 - Gen. 2015 Membro dell'unità di coordinamento del progetto PRIN2010-2011 (Research Project of National Relevance). "Strumenti logici per la gestione delle informazioni."
* Mar. 2010 - Gen. 2012 Membro dell'unità di coordinamento del progetto PRIN2008 (Progetto di ricerca di rilevanza nazionale). "Semantica algebrica per l'incertezza."
Conferenze, corsi, visite su invito (ultimi 6/7 anni)
=============================
* 2020 Are locally finite MV-algebras a variety? Shanks Workshop on Ordered Algebras and Logic. Vanderbilt University (Nashville, US).
* 2018 Kakutani duality, for groups. Duality in Algebra and Logic. Chapman University, California.
* 2018 Kakutani duality for groups. Topological Methods in Logic (To Lo VI). Tbilisi, Georgia.
* 2017 Geometric aspects of MV-algebras . Topology, Algebra and Categories in Logic (TACL). Prague, Czech Republic.
* 2017 Logica algebrica, invited course (12 hours) at the AILA Summer School of Logic. Gargnano, Italy.
* 2016 A categorical duality for residuated lattices. Soft Computing Days. Beijing, China.
* 2016 A duality for lattices with residuated operations. Topological Methods in Logic (ToLo) V. Tbilisi, Georgia.
* 2015 An extension of Basic Logic with fixed points, Coherence and Truth. In memoriam Franco Montagna. Certosa di Pontignano (Siena), Italia.
* 2014 A(nother) duality for the whole variety of MV-algebras. BEYOND 2014. University of Florence, Italy.
* 2014 A general framework for dualities. Workshop on dualities and Markov processes. McGill University Bellairs Research Institute, Barbados.
* 2014 Dualities, invited tutorial at The Latin American Symposium on Mathematical Logic. Buenos Aires, Argentina.
Comitati di conferenza (ultimi 6/7 anni)
=============================
* Set. 2020 Membro del Comitato Scientifico della conferenza LATD, Tbilisi, Georgia.
* Set. 2019 Membro del Comitato Scientifico della conferenza TbiLLC (Tredicesimo International Tbilisi Symposium on Language, Logic and Computation), Georgia.
* Gen. 2019 Membro del Comitato Scientifico della conferenza SYSMICS 2019,Amsterdam, Paesi Bassi.
* Set. 2018 Membro del Comitato Scientifico della Seconda scuola SYMICS, Les Diablerets, Svizzera.
* Set. 2018 Presidente del Comitato Organizzatore del convegno Geometria e logica non classica (dedicato al 70 ° compleanno di Antonio Di Nola), Salerno, Italia.
* Set. 2017 Membro del Comitato Scientifico della conferenza TbiLLC (Twelfth International Tbilisi Symposium on Language, Logic and Computation), Georgia.
* Set. 2016 Presidente del Comitato Scientifico della conferenza Syntax meets Semantics 2016, Barcelona, Spain.
* Set. 2015 Presidente del Comitato Scientifico della conferenza TbiLLC (Eleventh International Tbilisi Symposium on Language, Logic and Computation), Tbilisi, Georgia.
* Giu. 2015 Presidente del Comitato Organizzatore del convegno Topology, Algebra, and Categories in Logic, Ischia (NA), Italy.
* Giu. 2015 Organizzatore della Scuola di Topologia, Algebra e Categorie in Logica, Università di Salerno, Italia.
Altre attività professionali
=============================
* 2020-2023 Segretario dell'Associazione Italiana per la Logica e le sue Applicazioni (AILA).
* 2017-2020 Segretario dell'Associazione Italiana per la Logica e le sue Applicazioni (AILA).
* 2017-2020 Tesoriere dell'Associazione Italiana per la Logica e le sue Applicazioni (AILA).
Attività di insegnamento e mentoring (ultimi 6/7 anni)
=============================
*** Corsi su invito e internazionali
* Set. 2017 Logica algebrica, corso su invito (12 ore) presso AILA Summer School of Logic. Gargnano, Italia.
* Set. 2014 Docente del corso Many Valued Logics (6 CFU) per il M.Sc. in logica. ILLC, Università di Amsterdam, Paesi Bassi.
* Feb. 2014 Docente per il progetto Duality Theory (6 CFU) per il M.Sc. in logica. ILLC, Università di Amsterdam, Paesi Bassi.
*** Corsi di dottorato
* Mag. 2019 - Giu. 2019 Docente per il corso Teoria dei temi per il dottorato di ricerca. in matematica e fisica. Università degli Studi di Salerno.
* Mag. 2018 - Giu. 2018 Docente per il Corso di Categoria Teoria per il Dottorato di Ricerca. in matematica e fisica. Università degli Studi di Salerno.
* Gen. 2017 - Feb.2017 Docente per il corso di Categoria Teoria per il Dottorato di Ricerca. in matematica e fisica. Università degli Studi di Salerno.
*** Tutoraggio
* Dic. 2020 - Relatore in corso per una tesi di laurea in Logica (Luigi Del Gaudio)
* Dic. 2020 - Dic.2021 Supervisore della ricerca PostDoc del Dott. Marco Abbadini.
* Ago. 2016 - Lug. 2019 Supervisore della ricerca PostDoc della Dott.ssa Serafina Lapenta.
* Mag. 2018 - Set. 2018 Relatore per una tesi di Laurea Magistrale in Logica (Federica Di Stefano, Università di Salerno, 110 e lode).
* Gen.2018 - Giu. 2018 Relatore per una tesi di Laurea in Logica (Elvira Plenzich, Università di Salerno, 107).
* Gen. - Marzo 2017 Relatore o tesi di laurea triennale in Logica (Alice Ciliberti, Università di Salerno. 110 e lode)
*** Corsi universitari
* Set. 2018 Docente del corso di Logica Matematica (7 CFU) per il B.Sc. in Matematica, Università degli Studi di Salerno.
* Set. 2018 Docente per il corso Calculus I (9 CFU) per il B.Sc. in Ingegneria Meccanica, Università degli Studi di Salerno.
* Set. 2017 Docente per il corso Calculus I (9 CFU) per il B.Sc. in Ingegneria Meccanica, Università degli Studi di Salerno.
* Set. 2017 Docente per il corso di Logica Matematica (7 CFU) per il B.Sc. in Matematica, Università degli Studi di Salerno.
* Set. 2017 Docente del corso Calcolo I (5 CFU) per il B.Sc. in Scienze Ambientali, Università degli Studi di Salerno.
* Set. 2016 Docente per il corso Calculus I (9 CFU) per il B.Sc. in Ingegneria Meccanica, Università degli Studi di Salerno.
* Set. 2016 Docente per il corso Calculus I (5 CFU) per il B.Sc. in Scienze Ambientali, Università degli Studi di Salerno.
* Set. 2015 Docente del corso di Matematica per l'Economia (10 CFU) per il B.Sc. in Economia e Management, Università degli Studi di Salerno.
Bibliometria
=============================
*** Scopus
* indice h: 4
* numero totale di citazioni: 68
* documenti dell'autore: 22
