{"id":10,"date":"2011-04-13T14:48:53","date_gmt":"2011-04-13T12:48:53","guid":{"rendered":"http:\/\/logica.dmi.unisa.it\/lucaspada2\/?page_id=10"},"modified":"2026-03-27T14:57:21","modified_gmt":"2026-03-27T13:57:21","slug":"curriculum-vitae","status":"publish","type":"page","link":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/curriculum-vitae\/","title":{"rendered":"Curriculum Vitae"},"content":{"rendered":"\n

A detailed curriculum vitae can be downloaded here<\/a><\/strong><\/p>\n\n\n\n

Positions<\/h2>\n\n\n\n

Since May 2016<\/span>
Associate Professor of Mathematical Logic<\/strong> at the Department of Mathematics<\/a> of the University of Salerno<\/a>.<\/p>\n\n\n\n

Mar. 2012 – May 2016<\/span>
Assistant Professor  (Ricercatore)<\/strong> at the Department of Mathematics<\/a> of the University of Salerno<\/a>.<\/p>\n\n\n\n

Aug. 2013 — Aug. 2015<\/span>
Marie Curie Fellow<\/strong> at the Institute for Logic, Language, and Computation of the University of Amsterdam.<\/p>\n\n\n\n

Dec. 2006 — Dec. 2007 and Apr. 2009 — Mar. 2012<\/span>
PostDoc<\/strong> at the Department of Mathematics and Computer Science of the University of Salerno<\/a>.<\/p>\n\n\n\n

July 2008 — Mar. 2009<\/span>
PostDoc<\/strong> at the Institute of Discrete Mathematics and Geometry<\/a> of the Vienna University of Technology<\/a>.<\/p>\n\n\n\n

\n

Studies<\/h2>\n\n\n\n

Jun. 2007<\/span>
PhD degree<\/strong> in Mathematical Logic and Theoretical Computer Science at the <\/a>University of Siena<\/a><\/p>\n\n\n\n

Oct. 2004<\/span>
Master in Logic and Computer Science<\/strong> at the Graduated College Santa Chiara<\/p>\n\n\n\n

Oct. 2002<\/span>
Degree in Mathematics<\/strong> at the University of Siena<\/a><\/p>\n<\/div>\n\n\n\n

\n

Selected funded Projects<\/h2>\n\n\n\n

December 2023 — February 2026<\/span>
PRIN 2022 <\/strong> (NextGenerationEU) “Quantum Models for Logic, Computation and Natural Processes (Qm4Np)”. The project involves the universities of Cagliari, Salerno and Palermo.
Role in the project<\/em>: local coordinator<\/strong><\/p>\n\n\n\n

May 2021 — May 2026<\/span>
European RISE project<\/strong> (Marie Curie<\/em> 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.
Role in the project<\/em>: local coordinator<\/strong>. <\/p>\n\n\n\n

Dec. 2019 — Dec. 2022<\/span>
PRIN2017 <\/strong> “Theory and applications of resource sensitive logics”. The project involves the University of Salerno and the University of Cagliari. Role in the project<\/em>: local cordinator<\/strong>. <\/p>\n\n\n\n

Mar. 2016 — Feb. 2019<\/span>
European RISE project<\/strong> (Marie Curie<\/em> 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.
Role in the project<\/em>: coordinator<\/strong>. <\/p>\n\n\n\n

Aug. 2013 — July 2015<\/span>
Marie Curie Fellowship<\/strong> (IEF). “A Dual Approach to Many-valued Semantics.”
Role in the project<\/em>: principal investigator<\/strong>. <\/p>\n\n\n\n

Mar. 2011 — Mar. 2015<\/span>
European IRSES project<\/strong> (Marie Curie<\/em> 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.
Role in the project<\/em>: coordinator<\/strong>. <\/p>\n\n\n\n

Jan. 2012 — Jan. 2015<\/span>
PRIN2010-2011<\/strong> (Research Project of National Relevance). “Logical tools for the management of Information.”
Role in the project<\/em>: member of the coordinating unit<\/strong>. <\/p>\n\n\n\n

Mar. 2010 — Jan. 2012<\/span>
PRIN2008<\/strong> (Research Project of National Relevance). “Algebraic semantics for the uncertainty.”
Role in the project<\/em>: member of the coordinating unit<\/strong>.   <\/p>\n<\/div>\n\n\n\n

Editorial Activities<\/h2>\n\n\n\n
\n

Jan. 2012 — June 2024<\/span>
Associate Editor<\/strong> of the journal Soft Computing.<\/a><\/p>\n\n\n\n

May 2021 — Feb. 2023<\/span>
Associate Editor<\/strong> of the journal Proyecciones<\/a>.<\/p>\n\n\n\n

Nov. 2013<\/span>
Guest editor<\/strong> of Mathematica Slovaca.  Special issue for the 65th birthday of prof. Antonio Di Nola.<\/p>\n\n\n\n

Nov. 2009<\/span>
Guest editor<\/strong> for the series Lectures Notes in Computer Science. Special issue containing selected works presented at: 8th  International Tbilisi Symposium on Language, Logic and Computation’. Doi: 10.1007\/978-3-642-22303-7<\/a><\/p>\n\n\n\n

Sep. 2008<\/span>
Guest editor<\/strong> for Annals of Pure and Applied Logic (Vol. 161, issue 2).  Special issue dedicated to prof. Franco Montagna’s  60th birthday<\/a>.  <\/p>\n<\/div>\n\n\n\n

Others<\/h2>\n\n\n\n

Sep. 2020 — Ongoing<\/span><\/p>\n\n\n\n

Head of the <\/strong>Laboratory for Automated Reasoning<\/a>.<\/p>\n\n\n\n

Sep. 2017 — Sep. 2023<\/span><\/p>\n\n\n\n

Secretary<\/strong> of the Italian Association of Logic and its Applications<\/a> (AILA).<\/strong><\/p>\n\n\n\n

May. 2024<\/span>
co-Chair<\/strong> of the Scientific Committee of the conference TACL<\/a>, Barcelona, Spain.<\/p>\n\n\n\n

Jan. 2023<\/span>
co-Chair<\/strong> of the Scientific Committee of the conference LATD<\/a>, Tbilisi, Georgia.<\/p>\n\n\n\n

March 2023<\/span>
Member<\/strong> of the Scientific Committee of MOSAIC 2023 workshop<\/a>, 27-29 September 2023 in Vienna, Austria.<\/p>\n\n\n\n

March 2023<\/span>
Member<\/strong> of the Organising Committee of PSSL 108<\/a> and the satellite workshop on “Logic & Algebra”, Palermo, Italy.<\/p>\n\n\n\n

Sep. 2022<\/span>
Member<\/strong> of the Organising Committee of the conference LATD+MOSAIC<\/a>, Paestum (SA), Italy.<\/p>\n\n\n\n

Jan. 2022<\/span>
Member<\/strong> of the Scientific Committee of the conference  <\/a>LATD+MOSAIC<\/a>, Paestum (SA), Italy.<\/p>\n\n\n\n

Jan. 2022<\/span>
co-Chair<\/strong> of the Scientific Committee of the conference Incontro AILA<\/a>, Caserta, Italy.<\/p>\n\n\n\n

Jan. 2022<\/span>
Member<\/strong> of the Organising Committee of the conference Incontro AILA<\/a>, Caserta, Italy.<\/p>\n\n\n\n

Sep. 2017 — Sep. 2020<\/span>
Treasurer<\/strong> of the Italian Association of Logic and its Applications<\/a> (AILA).<\/strong><\/p>\n\n\n\n

Sep. 2019<\/span>
Member<\/strong> of the Scientific Committee of the conference TbiLLC (Thirteenth International Tbilisi Symposium on Language, Logic and Computation)<\/a>, Georgia.<\/p>\n\n\n\n

Jan. 2019<\/span>
Member<\/strong> of the Scientific Committee of the conference SYSMICS 2019<\/a>, Amsterdam, The Netherlands.<\/p>\n\n\n\n

Sep. 2018<\/span>
Member<\/strong> of the Scientific Committee of the Second SYMICS school<\/a>, Les Diablerets, Switzerland.<\/p>\n\n\n\n

Sep. 2018<\/span>
Chair<\/strong> of the Organising Committee of the conference Geometry and non classical logic<\/a> (dedicated to the 70th birthday of Antonio Di Nola), Salerno, Italy.<\/p>\n\n\n\n

Sep. 2017<\/span>
Member<\/strong> of the Scientific Committee of the conference TbiLLC (Twelfth International Tbilisi Symposium on Language, Logic and Computation)<\/a>, Georgia.<\/p>\n\n\n\n

Sep. 2016<\/span>
Chair<\/strong> of the Scientific Committee of the conference Syntax meets Semantics 2016<\/a>, Barcelona, Spain.<\/p>\n\n\n\n

Sep. 2015<\/span>
Chair<\/strong> of the Scientific Committee of the conference TbiLLC (Eleventh International Tbilisi Symposium on Language, Logic and Computation)<\/a>, Tbilisi, Georgia.<\/p>\n\n\n\n

June. 2015<\/span>
Chair<\/strong> of the Organising Committee of the conference Topology, Algebra, and Categories in Logic<\/a>, Ischia (NA), Italy.<\/p>\n\n\n\n

June 2015<\/span>
Organiser<\/strong> of the School on Topology, Algebra, and Categories in Logic, University of Salerno<\/a>, Italy.<\/p>\n\n\n\n

Sep. 2013<\/span>
Member<\/strong> of the Scientific Committee of the conference TbiLLC (Tenth International Tbilisi Symposium on Language, Logic and Computation)<\/a>, Gudauri, Georgia.<\/p>\n\n\n\n

Apr. 2013<\/span>
Co-organiser<\/strong> of the workshop “Many valued logics'” at the 3d International Conference on Universal Logic<\/em><\/a>, Rio de Janeiro, Brazil.<\/p>\n\n\n\n

Aug. 2012<\/span>
Member<\/strong> of the Scientific Committee of the conference PMUV (Philosophy and Mathematics of Uncertainty and Vagueness<\/a>), Campinas, Brazil.<\/p>\n\n\n\n

Jul. 2012<\/span>
Member<\/strong> of the Programme Committee of ManyVal12, celebrating Antonio Di Nola’s 65th birthday<\/a>, Salerno, Italy.<\/p>\n\n\n\n

Sep. 2011<\/span>
Co-chair<\/strong> of the scientific committee in Logic of the IX Tbilisi Symposium on Language, Logic and Computation<\/a>, Kutaisi.<\/p>\n\n\n\n

May 2011<\/span>
Member<\/strong> of the organizing committee of Algebraic Semantics for Uncertainty and Vagueness<\/a>, Salerno.<\/p>\n\n\n\n

Sep. 2008<\/span>
Member<\/strong> of the organizing committee of Logic, Algebra and Truth Degrees<\/a>, Siena.<\/p>\n\n\n\n

June. 2007<\/span>
Member<\/strong> of the organizing committee of Computability in Europe 07<\/a> , Siena.<\/p>\n\n\n

<\/p>","protected":false},"excerpt":{"rendered":"

A detailed curriculum vitae can be downloaded here Positions Since May 2016Associate Professor of Mathematical Logic at the Department of Mathematics of the University of Salerno. Mar. 2012 – May 2016Assistant Professor  (Ricercatore) at the Department of Mathematics of the University of Salerno. Aug. 2013 — Aug. 2015Marie Curie Fellow at the Institute for Logic, Language, and Computation of the University […]<\/p>\n","protected":false},"author":1,"featured_media":2362,"parent":0,"menu_order":2,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-10","page","type-page","status-publish","has-post-thumbnail","hentry"],"blocksy_meta":[],"_links":{"self":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/pages\/10","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/comments?post=10"}],"version-history":[{"count":77,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/pages\/10\/revisions"}],"predecessor-version":[{"id":2359,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/pages\/10\/revisions\/2359"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/media\/2362"}],"wp:attachment":[{"href":"http:\/\/logica.dipmat.unisa.it\/lucaspada\/wp-json\/wp\/v2\/media?parent=10"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}