Curriculum scientifico e didattico

Transcript

1 Curriculum scientifico e didattico Antonio Ledda 20 gennaio 2015 Contatti (Contacts) - antonio.ledda@unica.it; - Telefono Fisso: / ; - Skype: antonio.ledda78. Dati personali (Personal data) - Nascita: Cagliari, 11 gennaio Aree di ricerca (Research interests) - Algebra della logica; - Algebra universale; - Logiche non classiche.

2 Educazione e Formazione scientifica (Education and Academic degrees) , Maturità Classica, Voto: 60/60, Liceo statale G. M. Dettori, Cagliari , Laurea in Filosofia, Voto: 110/110 e lode, (Degree), Università di Cagliari , Dottorato di Ricerca, Giudizio: Eccellente, (Ph.D.), Università di Cagliari. Titolo della dissertazione finale Logical and Algebraic Structures from Quantum Computation. Borsa di studio (Ph.D. Fellowship): borsa di 3 anni assegnata dall Università degli Studi di Cagliari , Post-doc, Università di Cagliari. Titolo progetto: Media Asset Management and Distributed Knowledge, numero progetto 1216/07, D.R. dell Università di Cagliari maggio 2010, Post-doc, Università di Cagliari. Titolo progetto: Logiche Sottostrutturali e Computazione Quantistica, finanziato dai fondi Master and Back 2008 stanziati dalla Regione Autonoma della Sardegna. Incarichi di ricerca (Research positions) , Ricercatore ospite (Visiting Researcher), Institut de Investigació en Intel.ligència Artificial, Consejo Superior de Investigaciones Cientificas (CSIC), Campus de la UAB, E Bellaterra, Spagna , Ricercatore (Researcher), Research Center for Integrated Science, Japan Advanced Institute of Science and Technology, Asahidai 1-1, Nomi, Ishikawa , Giappone , Ricercatore (Researcher), Dipartimento di Filosofia e Teoria delle Scienze Umane, Università degli Studi di Cagliari, programma Giovani Ricercatori. Titolo progetto: L approccio Logico-Algebrico alla Computazione Quantistica: aspetti teorici e possibili implementazioni; PO Sardegna FSE , L.R.7/2007 Promozione della ricerca scientifica e dell innovazione tecnologica.

3 Ruoli accademici e abilitazioni (Academic positions) - Marzo 2011, ottobre 2014, Ricercatore a tempo indeterminato (Assistant professor), Università di Cagliari, Dipartimento di Pedagogia, Psicologia, Filosofia, settore concorsuale 11/C2- Logica, Storia e Filosofia della Scienza, settore scientifico-disciplinare M-FIL/02- Logica e Filosofia della Scienza. - Dicembre 2013, Abilitazione scientifica nazionale (ASN) per la II fascia per il settore 11C2-M/FIL 02 (Logica e Filosofia della Scienza). - ottobre 2014, Professore Associato (Associate professor), Università di Cagliari, Dipartimento di Pedagogia, Psicologia, Filosofia, settore concorsuale 11/C2- Logica, Storia e Filosofia della Scienza, settore scientifico-disciplinare M-FIL/02- Logica e Filosofia della Scienza. - Novembre 2014, Abilitazione scientifica nazionale (ASN) per la II fascia per il settore 01A1-MAT 01 (Logica Matematica). Pubblicazioni (Publications) Attività di ricerca (Research activities) [1] Ledda A., La fenomenologia tra essenza ed esistenza, Carocci Editore, Roma, [2] Ledda A., Konig M., Paoli F., Giuntini R., MV algebras and quantum computation, Studia Logica, 82, 2, 2006, pp [3] Giuntini R., Ledda A., Paoli F., Expanding quasi-mv algebras by a quantum operator, Studia Logica, 87, 2007, pp [4] Ledda A., Logical and algebraic structures from quantum computation, Ph.D. Thesis, University of Cagliari, [5] Bou F., Paoli F., Ledda A., Freytes H., On some properties of quasi-mv algebras and quasi-mv algebras. Part II, Soft Computing, 12, 4, 2008, pp

4 [6] Paoli F., Ledda A., Giuntini R., Freytes H., On some properties of quasi- MV algebras and quasi-mv algebras. Part I, Reports on Mathematical Logic, 44, 2009, pp [7] Dalla Chiara M. L., Giuntini R., Freytes H., Ledda A., Sergioli G., The algebraic structure of an approximately universal system of quantum computational gates, Foundations of Physics, 39, 6, 2009, pp [8] Freytes H., Ledda A., Categories of semigroups in quantum computational structures, Mathematica Slovaca, 59, 4, 2009, pp [9] Giuntini R., Freytes H., Ledda A., Paoli F., A discriminator variety of Gödel algebras with operators arising in quantum computation, Fuzzy Sets and Systems, 160, 2009, pp [10] Sergioli G., Ledda A., Paoli F., Giuntini R., Kowalski T., Montagna F., Freytes H., Marini C., Two cooperative versions of the Guessing Secrets problem, Information Sciences, 179, 2009, pp [11] Giuntini R., Ledda A., Paoli F., Categorical equivalences for quasi-mv algebras, Journal of Logic and Computation, 20, 4, 2010, pp [12] Bou F., Paoli F., Ledda A., Spinks M., Giuntini R., The logic of quasi MV algebras, Journal of Logic and Computation, 2010, 20, 2, pp [13] Dalla Chiara M. L., Giuntini R., Ledda A., Sergioli G., Leporini R., Entanglement as a semantic resource, Foundations of Physics, 40, 2010, pp [14] Kowalski T., Paoli F., Ledda A., Giuntini R., The lattice of subvarieties of quasi-mv algebras, Studia Logica, 95, 2010, pp [15] Ledda A., Sergioli G., Towards quantum computational logics, International Journal of Theoretical Physics, 49, 12, 2010, pp [16] Freytes H., Ledda A., Sergioli G., Continuous functions as quantum operations: a probabilistic approximation, Logic and Philosophy of Science, VIII, 1, 2010, pp [17] Giuntini R., Ledda A., Sergioli G., Paoli F., Some generalisations of fuzzy structures arising in quantum computational logic, International Journal of General Systems, 40, 1, 2011, pp [18] Alizadeh M., Ledda A., Freytes H., Completion and amalgamation of bounded distributive quasi lattices, Logic Journal of the IGPL, 19, 1, 2011, pp [19] Ledda A., Kowalski T., Paoli F., On certain quasivarieties of quasi-mv algebras, Studia Logica, 98, 2011, pp [20] Paoli F., Ledda A., Spinks M., Freytes H., Giuntini R., Logics from quasi-mv algebras, International Journal of Theoretical Physics, 50, 2011, pp

5 [21] Salibra A., Ledda A., Paoli F., Kowalski T., Boolean-like algebras, Algebra Universalis, 69, 2, 2012, pp [22] Dalla Chiara M. L., Giuntini R., Ledda A., Sergioli G., The Toffoli- Hadamard gate system: an algebraic approach, Journal of Philosophical Logic, 42, 3, 2013, pp [23] Freytes H., Ledda A., Sergioli G., Giuntini R., Probabilistic logics in quantum computation, in Andersen et al (Eds.) New challenges to the philosophy of science, 2013, ISBN , 2013, pp [24] Jipsen P., Ledda A., Paoli F., On some properties of quasi-mv algebras, IV, Reports on Mathematical logic, 48, 2013, pp [25] Ledda A., Paoli F., Salibra A., On semi-boolean-like algebras, Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, 52, 1, 2013, pp [26] Kowalski T., Paoli F., Ledda A., On independent varieties and some related notions, Algebra Universalis, 70, 2, 2013, pp [27] Ledda A., Paoli F., Tsinakis C., Lattice-theoretic properties of algebras of logic, Journal of Pure and Applied Algebra, 218, 10, 2014, pp [28] Ledda A., Logiche sottostrutturali, Aphex, 9, 2014, ISSN [29] Ledda A., Paoli F., Tsinakis C., Semi-linear varieties of lattice-ordered algebras, in F. Montagna (Ed.), Petr Hajek on Mathematical Fuzzy Logic, Springer Verlag, ISBN , 2014, pp [30] Paoli F., Ledda A., Kowalski T., Spinks M., Quasi-discriminator varieties, International Journal of Algebra and Computation, 24, 3, 2014, pp [31] Chajda I., Ledda A., Paoli F., Compatible idempotent terms in universal algebra, Acta Univ. Palack. Olom., Mathematica, 53, 2014, pp [32] Freytes Hector, Ledda A., A categorical equivalence for bounded distributve quasi lattices satisfying x 0 = 0 x = 0, Mathematica Slovaca, 5, 64, 2014, pp [33] Kowalski T., Ledda A., Paoli F., Quasi-subtractive varieties: open filters, congruences, and the commutator, Logic Journal Of The IGPL, 22, 6, 2014, pp [34] Ervas F., Ledda A., Metaphors in quaternio terminorum comprehension, Isonomia, 4, 2014, ISSN , pp [35] Chajda I., Gil-Fèrez J., Kolařík M., Giuntini R., Ledda A., Paoli F., On some properties of directoids, Soft Computing, /s , pp.1-10.

6 [36] Giunti M., Ledda A., Sergioli G., Modelli, I Temi della Filosofia, Archetipo Libri, Bologna, 2014, in stampa. [37] Gil-Férez J., Ledda A., Tsinakis C., The failure of amalgamation property for semilinear varieties of residuated lattices, Mathematica Slovaca, in stampa. Indicatori bibliometrici Publish or Perish on Google Scholar data. Query date: Papers: 55; Citations: 222 Years: 13; Cites/year: 17.08; Cites/paper: 4.04/0.0/0 (mean/median/mode); Cites/author: 59.00; Cites/author/year: 4.53; Papers/author: 22.10; Authors/paper: 3.25/3.0/3 (mean/median/mode); h-index: 9 (79%); g-index: 14 (91%); e-index: 9.75; hc-index: 8; hi-index: 2.25; hi,norm: 4; hi,annual: 0.31; hm-index: 3.55; AW-index: 6.63; AWCR: 44.00; AWCRpA: 11.75; Hirsch a=2.74, m=0.69; Contemporary ac=2.75 Collaborazioni scientifiche - Roberto Giuntini e Francesco Paoli (Dipartimento di Pedagogia, Psicologia, Filosofia, Università di Cagliari), Marisa Dalla Chiara (Dipartimento di Filosofia, Università di Firenze), Hector Freytes (CONICET Instituto Argentino de Matematica (IAM), Buenos Aires, Argentina). Ambito: fondamenti della fisica/strutture algebriche della meccanica quantistica. - Majid Alizadeh (School of Mathematics, Statistics and Computer Science, College of Science, University of Teheran, Teheran, Iran). Ambito: teoria della dualità. - Felix Bou (Institute for Investigation in Artificial Intelligence, Consejo Superior de Investigaciones Cientificas (CSIC), Bellaterra, Spagna) Matthew Spinks. Ambito: logica algebrica astratta. - Franco Montagna (Dipartimento di Matematica, Università di Siena), Tomasz Kowalski (Department of Mathematics and Statistics, La Trobe University, Australia), Giuseppe Sergioli (Dipartimento di Pedagogia, Psicologia, Filosofia, Università di Cagliari). Ambito: combinatoria/teoria dei giochi. - Antonino Salibra (Dipartimento di Matematica e Informatica, Università Ca Foscari, Venezia). Ambito: algebra universale. - Peter Jipsen (Department of Mathematics and Statistics, Chapman University, USA). Ambito: algebre della computazione quantistica.

7 - F. Paoli, T. Kowalski, M. Spinks. Ambito: algebra universale, in particolare la teoria degli ideali. - Constantine Tsinakis, José Gil-Férez (Department of Mathematics, Vanderbilt University, USA). Ambito: reticoli residuati. - Ivan Chajda (Department of Algebra and Geometry, Palacký University, Czech Republic) Ambito: strutture ordinate e algebra universale. Soggiorni di ricerca Sono stato ospite presso le seguenti istituzioni: , Universidad de Buenos Aires; , Universitat de Barcelona; , La Trobe University, Melbourne; , Université Paris XIII-Diderot, Parigi; , Università Ca Foscari, Venezia; , Vanderbilt University, Nashville; , Università degli Studi di Torino. Relazioni come invited speaker 1. Abstract logics from quantum computation, Seminarios de lógicas no clásicas. Universitat de Barcelona, maggio Logical and algebraic structures from quantum computation, Japan Advanced Institute of Science and Technology Research Reports, Nomi, Ishikawa, Giappone, novembre luglio A duality for preordered structures (I), Algebra and Substructural Logics Take 4, Nomi, Ishikawa, Giappone, giugno On independent varieties and related notions, Barcelona logic workshop, Barcelona, febbraio On independent varieties, Bochum international meeting on non classical logics, Bochum, aprile The amalgamation property in residuated lattices: negative results, La Trobe University, Melbourne, settembre On the amalgamation property, Université Paris XIII-Diderot, Parigi, giugno Skew products of varieties, Università Ca Foscari, Venezia, dicembre 2013.

8 9. Residuated lattices and the amalgamation property, Shanks Lectures, Vanderbilt University, Nashville, febbraio Uno sguardo alle logiche sottostrutturali, Università degli Studi di Torino, Torino, maggio Interpolazione e amalgamazione nei reticoli residuati, Università degli Studi di Milano, Milano, luglio Lattice-theoretical properties of algebras of logic, Algebra and Substructural Logics 5, La Trobe University, Melbourne, dicembre Relazioni in conferenze internazionali (selezione) 1. MV algebras and quantum computation, Algebraic and Topological Methods in non Classical Logics II, Barcelona, giugno On some properties of quasi Mv-algebras and quasi-mv algebras, Ordered Structures in Many Valued Logic, Massa Lubrense, giugno When vagueness meets uncertainty, Prague International Colloquium on Uncertainty: Reasoning about Probability and Vagueness, Prague, settembre Linear Heyting quantum computational structures, International conference on Order, algebra and logic, Nashville, giugno Quantum computational structures, First Sardinian-Catalan workshop on Algebraic and Fuzzy Logic, Cagliari, ottobre Sheaves over Priestley spaces: a duality for bounded distributive q-lattices, International Conference on Residuated Structures: Algebra and Logic, Buenos Aires, aprile Continuous t-norm as quantum gates: a probabilistic approach, ManyVal 08, Milano, maggio Logical and algebraic structures from quantum computation, 9th Biennial IQSA Meeting: Quantum Structures, Brussels-Gdansk, luglio Logics of quasi-mv algebras, Logic, Algebra and Truth Degrees, Siena, settembre Completion and amalgamation of preordered structures, UNILOG 2010, Lisbon, Portogallo, aprile The algebraic structure of an approximately universal quantum system, SILFS biannual meeting, Bergamo, dicembre Quasi-discriminator varieties II, International Conference on Order Algebra and Logic, Kraków, giugno 2011.

9 13. On independent varieties, II, Logic algebra and truth degrees, Kanazawa, settembre Boolean like algebras, General Algebra and its Applications, Melbourne, luglio On boolean like algebras, Topology, Algebra, and Categories in Logic, Nashville, luglio Vagueness, uncertainty and fuzzyness in quantum computational logics, Vagueness & Non classical logics, Sydney University, Melbourne, dicembre Attività organizzative Nel comitato scientifico ed organizzativo dei convegni: 1. La Conoscenza Come Rete di Modelli, Alghero settembre 2004; 2. Quantum Computation and Quantum Information, Alghero settembre 2004; 3. First Sardinian-Catalan Workshop on Algebraic and Fuzzy Logic, Cagliari, 1-5 ottobre 2007; 4. Cagliari-Oloumuc Conference on Algebraic Logic, Cagliari, maggio 2012; 5. Quantum Structures 2012, Biennial Conference of the International Quantum Structures Association, Cagliari, giugno Language, Logic and Mind, 3rd SIFA Graduate Conference, Biennial SIFA meeting, Cagliari, settembre Quantum Mechanics and Quantum Information: New Logical and Philosophical Approaches, Cagliari, Luglio Attività di revisore Sono stato revisore per le seguenti riviste ed istituzioni: - Aphex, - Foundations of Physics, - Fuzzy Sets and Systems, - Information Sciences, - International Journal of Approximate Reasoning, - International Journal of General Systems, - International Journal of Theoretical Physics,

10 - Journal of Logic and Computation, - Journal of The Australian Mathematical Society, - Logic and Philosophy of Science, - Proceedings of the American Mathematical Society, - Soft Computing, - Studia Logica. American Mathematical Society, National Center For Scientific and Technical Information of Kazakhstan- United Nations Industrial Development Organization, Zentralblatt MATH-section. Progetti finanziati e premi ricevuti (Projects and prizes) Partecipazione scientifica a progetti di ricerca internazionali, nazionali e locali, ammessi al finanziamento sulla base di bandi competitivi che prevedano la revisione tra pari, e premi ricevuti. - PRIN 2007, titolo progetto: Media Asset Management and Distributed Knowledge, numero progetto 1216/07, Ruolo Ricoperto: Assegnista. Durata: 24 mesi. Importo finanziato: euro. - FIRB 2012, titolo progetto: Strutture e dinamiche della conoscenza e della cognizione, numero progetto RBFR126ZA6 005, Ruolo Ricoperto: Coordinatore Unità di Cagliari. Durata: 36 mesi. Importo finanziato: euro. - PRIN 2013, titolo progetto Dai modelli alla logica. La logificazione di strutture e l equivalenza tra logiche, numero progetto 20122T3PTZ, Ruolo Ricoperto: Membro Unità di Cagliari. Durata: 24 mesi Importo finanziato: euro. - Progetto Ricerca di Base 2013 Le strutture Computazionali Quantistiche a servizio del Pattern Recognition: modellare l incertezza, numero progetto F71J , L.R. 7/2007, CRP-59872, Ruolo Ricoperto: Membro Unità di Cagliari. Durata 36 mesi. Importo finanziato: euro. Premialità regionale 2010 per il bando FIRB 2008, titolo progetto Algebraic and modal aspects of quantum theory, punteggio 39/40. Importo finanziato: euro.

11 Premialità regionale 2013 per il bando FIRB 2012, euro , titolo progetto Strutture e dinamiche della conoscenza e della cognizione, punteggio 39/40. Importo finanziato: euro. Attività di supervisione e didattica (Teaching duties) - A.A : Logica e Teoria dell Informazione, 60 ore, C.d.L. in Filosofia e Comunicazione, Università di Cagliari. - A.A : Strumenti Algebrici della Logica, 40 ore, Corso di dottorato in Filosofia, Epistemologia e Storia della Cultura, Università di Cagliari; - A.A : Logica, 48 ore, C.d.L. magistrale in Scienze Pedagogiche e dei Servizi Educativi, Università di Cagliari. - A.A : Teoria dei Reticoli, 40 ore, Corso di dottorato in Filosofia, Epistemologia e Storia della Cultura, Università di Cagliari. - A.A : Logica, 48 ore, C.d.L. magistrale in Scienze Pedagogiche e dei Servizi Educativi, Università di Cagliari. - A.A : Logica e metodologia delle scienze, 30 ore, C.d.L. in Scienze della Comunicazione, Università di Cagliari. - A.A : Introduzione all algebra della logica, 40 ore, Corso di dottorato in Storia, Filosofia e Didattica delle Scienze, Università di Cagliari. - A.A : Logica modale, 40 ore, Corso di dottorato in Storia, Filosofia e Didattica delle Scienze, Università di Cagliari. - A.A : Logica e teoria dell argomentazione, 60 ore, C.d.L. in Scienze della Comunicazione, Università di Cagliari. - Primo e secondo relatore di una trentina di tesi di laurea triennale e specialistica; - Cultore della materia per il settore M-FIL/02 (Logica e Filosofia della Scienza) dal Attività istituzionale (Faculty appointments)

12 - Dal 2011 nella commissione per la qualità del Corso di Laurea in Scienze della Comunicazione, Università di Cagliari; - Dal 2011 nella commissione Erasmus per il Corso di Laurea in Scienze della Comunicazione, Università di Cagliari; - Nel Collegio dei docenti del Dottorato in Filosofia, Epistemologia e Storia della Cultura, Università di Cagliari. Affiliazioni (Affiliations) International Quantum Structures Association (IQSA), Società Italiana di Logica e Filosofia della Scienza (SILFS), Applied Logic and Philosophy of Science (ALOPHIS). In fede, Antonio Ledda