Curriculum

Luca SPADA Curriculum

Studies
=============================
* 2007 Ph.D. in Mathematical Logic and Computer Science at the University of Siena.
* 2002 Degree in Mathematics at the University of Siena Score: 110/110 cum laude.


Positions
=============================
* Since May 2016 Associate Professor of Mathematical Logic at the Department of Mathematics of the University of Salerno.
* Mar. 2012 – May 2016 Assistant Professor (Ricercatore) at the Department of Mathematics of the University of Salerno.
* Aug. 2013 — Aug. 2015 Marie Curie Fellow at the Institute for Logic, Language, and Computation of the University of Amsterdam.
* Dec. 2006 — Dec. 2007 and Apr. 2009 — Mar. 2012 PostDoc at the Department of Mathematics and Computer Science of the University of Salerno.
* July 2008 — Mar. 2009 PostDoc at the Institute of Discrete Mathematics and Geometry of the Vienna University of Technology.


Distinctions
=============================
* Since Aug. 2018 Italian habilitation to full professorship.
* Since Jan. 2012 Associate Editor of the journal Soft Computing.
* Nov. 2013 Guest editor of Mathematica Slovaca. Special issue for the 65th birthday of prof. Antonio Di Nola.
* Nov. 2009 Guest editor for the series Lectures Notes in Computer Science. Special issue containing selected works presented at: 8th International Tbilisi Symposium on Language, Logic and Computation.
* Sep. 2008 Guest editor for Annals of Pure and Applied Logic. Special issue dedicated to prof. Franco Montagna’s 60th birthday.


Selected funded research projects / Fellowships
=============================
* Sep. 2021 — Sep. 2025 Local coordinator of the European RISE project (Marie Curie International Research Staff Exchange) “MOSAIC”. The project involves 28 universities in Australia, Austria, Argentina, Brazil, Czech Republic, France, Italy, the Netherlands, Poland, South Africa, Spain, Switzerland, UK and US.
* Dec. 2019 — Dec. 2022 Local coordinator of the PRIN2017 “Theory and applications of resource sensitive logics”. The project involves the University of Salerno and the University of Cagliari.
* Mar. 2016 — Feb. 2019 Coordinator of the European RISE project (Marie Curie International Research Staff Exchange) “Syntax meet Semantics: Methods, Interactions, and Connections in Substructural logics”. The project involves 25 universities in Australia, Austria, Argentina, Brazil, Czech Republic, Italy, Japan, the Netherlands, Singapore, South Africa, Spain, Switzerland, and US.
* Aug. 2013 — July 2015 Principal Investigator of the project Marie Curie Fellowship (IEF). “A Dual Approach to Many-valued Semantics.”
* Mar. 2011 — Mar. 2015 Coordinator of the European IRSES project (Marie Curie International Research Staff Exchange Scheme) “Mathematical Tools for the Management of Uncertain and Vague Information”. The project involves 15 universities in Argentina, Brazil, Italy, Czech Republic, and Spain.
* Jan. 2012 — Jan. 2015 Member of the coordinating unit of the project PRIN2010-2011 (Research Project of National Relevance). “Logical tools for the management of Information.”
* Mar. 2010 — Jan. 2012 Member of the coordinating unit of the project PRIN2008 (Research Project of National Relevance). “Algebraic semantics for the uncertainty.”


Invited talks, courses, visits (last 6/7 years)
=============================
* 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.


Conference committees (last 6/7 years)
=============================
* Sep. 2020 Member of the Scientific Committee of the conference LATD, Tbilisi, Georgia.
* Sep. 2019 Member of the Scientific Committee of the conference TbiLLC (Thirteenth International Tbilisi Symposium on Language, Logic and Computation), Georgia.
* Jan. 2019 Member of the Scientific Committee of the conference SYSMICS 2019, Amsterdam, The Netherlands.
* Sep. 2018 Member of the Scientific Committee of the Second SYMICS school, Les Diablerets, Switzerland.
* Sep. 2018 Chair of the Organising Committee of the conference Geometry and non classical logic (dedicated to the 70th birthday of Antonio Di Nola), Salerno, Italy.
* Sep. 2017 Member of the Scientific Committee of the conference TbiLLC (Twelfth International Tbilisi Symposium on Language, Logic and Computation), Georgia.
* Sep. 2016 Chair of the Scientific Committee of the conference Syntax meets Semantics 2016, Barcelona, Spain.
* Sep. 2015 Chair of the Scientific Committee of the conference TbiLLC (Eleventh International Tbilisi Symposium on Language, Logic and Computation), Tbilisi, Georgia.
* June. 2015 Chair of the Organising Committee of the conference Topology, Algebra, and Categories in Logic, Ischia (NA), Italy.
* June 2015 Organiser of the School on Topology, Algebra, and Categories in Logic, University of Salerno, Italy.


Other Professional Activities
=============================
* 2020 – 2023 Secretary of the Italian Association for Logic and its Applications (AILA).
* 2017 – 2020 Secretary of the Italian Association for Logic and its Applications (AILA).
* 2017 – 2020 Treasurer of the Italian Association for Logic and its Applications (AILA).


Teaching and Mentoring activities (last 6/7 years)
=============================
***Invited and international courses
* Sep. 2017 Logica algebrica, invited course (12 hours) at the AILA Summer School of Logic. Gargnano, Italy.
* Sep. 2014 Lecturer for the course Many Valued Logics (6 CFU) for the M.Sc. in Logic. ILLC, University of Amsterdam, The Netherlands.
* Feb. 2014 Lecturer for the project Duality Theory (6 CFU) for the M.Sc. in Logic. ILLC, University of Amsterdam, The Netherlands.

*** PhD courses
* May 2019 - June 2019 Lecturer for the course Topos Theory for the Ph.D. in Mathematics and Physics. University of Salerno.
* May 2018 - June 2018 Lecturer for course Category Theory for the Ph.D. in Mathematics and Physics. University of Salerno.
* Jan. 2017 - Feb. 2017 Lecturer for the course Category Theory for the Ph.D. in Mathematics and Physics. University of Salerno.

*** Tutoring
* Dec. 2020 - ongoing Supervisor for a BSc thesis in Logic (Luigi Del Gaudio)
* Dec. 2020 - Dec. 2021 Supervisor of the PostDoc research of Dr. Marco Abbadini.
* Aug. 2016 - July 2019 Supervisor of the PostDoc research of Dr. Serafina Lapenta.
* May 2018 - Sep. 2018 Supervisor for a MSc thesis in Logic (Federica Di Stefano, University of Salerno, 110 cum laude).
* Jan. 2018 - June 2018 Supervisor for a BSc thesis in Logic (Elvira Plenzich, University of Salerno, 107).
* Jan. - March 2017 Supervisor or a BSc thesis in Logic (Alice Ciliberti, University of Salerno. 110 cum laude)

*** University courses
* Sep. 2018 Lecturer for the course Mathematical Logic (7 CFU) for the B.Sc. in Mathematics, University of Salerno.
* Sep. 2018 Lecturer for the course Calculus I (9 CFU) for the B.Sc. in Mechanical Engineering, University of Salerno.
* Sep. 2017 Lecturer for the course Calculus I (9 CFU) for the B.Sc. in Mechanical Engineering, University of Salerno.
* Sep. 2017 Lecturer for the course Mathematical Logic (7 CFU) for the B.Sc. in Mathematics, University of Salerno.
* Sep. 2017 Lecturer for the course Calculus I (5 CFU) for the B.Sc. in Environmental Science, University of Salerno.
* Sep. 2016 Lecturer for the course Calculus I (9 CFU) for the B.Sc. in Mechanical Engineering, University of Salerno.
* Sep. 2016 Lecturer for the course Calculus I (5 CFU) for the B.Sc. in Environmental Science, University of Salerno.
* Sep. 2015 Lecturer for the course Mathematics for Economy (10 CFU) for the B.Sc. in Economy and Management, University of Salerno.


Bibliometrics
=============================
*** Scopus
* h-index: 4
* total number of citations: 68
* documents by author: 22