Relazione sull Attività Didattica e Scientifica. Evelina Lamma. 1 Novembre Ottobre 2015

Transcript

1 Relazione sull Attività Didattica e Scientifica di Evelina Lamma 1 Novembre Ottobre 2015 Recapito: Evelina Lamma Dipartimento di Ingegneria Via Saragat Ferrara Tel/fax Cell evelina.lamma@unife.it Sommario SOMMARIO... 1 BIOGRAFIA IN SINTESI... 2 ATTIVITÀ GESTIONALE E DI COORDINAMENTO... 2 ATTIVITÀ DIDATTICA PRESSO ISTITUZIONI UNIVERSITARIE... 3 ALTRE ATTIVITÀ PRESSO ISTITUZIONI UNIVERSITARIE... 3 ALTRE ATTIVITÀ... 4 PREMI E RICONOSCIMENTI... 4 PARTECIPAZIONE A PROGETTI DI RICERCA... 4 ATTIVITÀ DI RICERCA... 5 PUBBLICAZIONI NEL TRIENNIO

2 Biografia in sintesi Evelina Lamma è nata a Bologna il 6 Marzo Si è laureata in Ingegneria Elettronica presso l'università degli Studi di Bologna il 17 Luglio Ha il titolo di Dottore di Ricerca in Ingegneria Elettronica e Informatica (III Ciclo di Dottorato). È stata Professore universitario di ruolo II fascia (raggruppamento concorsuale I250) dall 1 Novembre 1992 al 31 Ottobre 2000 presso la Facoltà di Lettere e Filosofia dell Università di Udine (A.A ) e successivamente presso la Facoltà di Ingegneria dell Università di Bologna. Dall 1 Novembre 2000 è in servizio come Professore di I fascia presso l Università di Ferrara, confermata in ruolo dopo il primo triennio. Dall 1 Gennaio 2005 fino al 31/12/2007 è stata coordinatore del Dottorato in Scienze dell Ingegneria attivato presso il il Dipartimento di Ingegneria dell'università di Ferrara. Dall 1 Novembre 2007 al 31 Ottobre 2012 è stata Presidente del Consiglio di Corso di Studi Unificato del Settore Ingegneria dell Informazione presso la Facoltà di Ingegneria dell Università di Ferrara (primo mandato , rieletta nel 2010 per un secondo mandato). Dal Novembre 2000 svolge la sua attività di ricerca presso il Dipartimento di Ingegneria dell Università degli Studi di Ferrara, partecipando attivamente a progetti e contratti di ricerca. Attività Gestionale e di Coordinamento Dall 1 Novembre 2012 ad oggi è stata Coordinatore del Consiglio di Corso di Studi Unificato del Settore Ingegneria dell Informazione presso il Dipartimento di Ingegneria dell Università di Ferrara, con coordinamento di tre CdS: Laurea triennale in Ingegneria Elettronica e Informatica, classe L8 Laurea magistrale in Ingegneria Elettronica e delle Telecomunicazioni, classe LM-29 Laurea magistrale in Ingegneria Informatica e dell Automazione, classe LM-32 E stata ed è Rappresentante dell Università di Ferrara nel Consiglio Direttivo del Consorzio Interuniversitario Nazionale per l Informatica (CINI), con sede in Roma (designata dal CdA di Ateneo, nomina del Ministero dell Università in data 11/2/2008, per il triennio ; nomina rinnovata per il triennio ; a seguito del cambio di statuto del CINI, nomina con decreto MIUR in data 14/12/2012 per il triennio successivo, ora in corso).

3 Attività Didattica presso Istituzioni Universitarie Nel corso del triennio oggetto di questa relazione, ha tenuto, prima presso la Facoltà, e poi presso il Dipartimento di Ingegneria dell Università degli Studi di Ferrara, i seguenti insegnamenti: A.A. 2012/13: Fondamenti di Intelligenza Artificiale (insegnamento da 9 CFU tenuto presso il Corso di Laurea Magistrale in Ingegneria Informatica e dell Automazione; insegnamento da 6 CFU in comunanza parziale per la coorte di immatricolati 2012/13) Fondamenti di Informatica modulo B (modulo di insegnamento da 6 CFU tenuto al I anno del corso di Laurea triennale classe L-8 ex DM 270, Facoltà di Ingegneria) A.A. 2013/14: Ingegneria del software II (insegnamento da 6 CFU tenuto presso il Corso di Laurea Magistrale in Ingegneria Informatica e dell Automazione) Fondamenti di Informatica modulo B (modulo di insegnamento da 6 CFU tenuto al I anno del corso di Laurea triennale classe L-8 ex DM 270, Facoltà di Ingegneria) A.A. 2014/15: Fondamenti di Intelligenza Artificiale (insegnamento da 6 CFU tenuto presso il Corso di Laurea Magistrale in Ingegneria Informatica e dell Automazione) Fondamenti di Informatica modulo B (modulo di insegnamento da 6 CFU tenuto al I anno del corso di Laurea triennale classe L-8 ex DM 270, Facoltà di Ingegneria). Durante il triennio è stata relatrice di numerose tesi di laurea, triennali, specialistiche e magistrali, sulle tematiche dei Linguaggi di Programmazione, dell Intelligenza Artificiale e dell Ingegneria del Software; ha fatto parte di numerose commissioni d esame e commissioni di laurea presso il Dipartimento di Ingegneria dell'università di Ferrara. Il 17 Ottobre 2014 e il 20 Febbraio 2015 ha svolto due edizioni di una lezione su Sistemi Informativi aziendali nel Corso di Perfezionamento in Management per la Direzione di Strutture Sanitarie Complesse, presso il Dipartimento di Economia e Management, Università di Ferrara. Altre attività presso Istituzioni Universitarie Nel corso del triennio è stata supervisore dell attività di ricerca di 3 studenti di Dottorato (Co-tutore di E. Bellodi su tecniche di apprendimento automatico per linguaggi probabilistici ciclo XXV - vincitrice del Premio per la migliore tesi di Dottorato assegnato da Associazione Italiana per l Intelligenza Artificiale nel Dicembre 2013, e del Premio per la migliore tesi in Logica Computazionale assegnato da Gruppo Utenti Logic Programming nel Giugno 2015; Co-tutore di R. Zese su tecniche di ragionamento automatico per logiche descrittive ciclo XXVIII; Co-tutore di G. Cota su tecniche di apprendimento automatico per logiche descrittive ciclo XXX).

4 Altre attività Ha fatto parte di comitati scientifici di workshop e congressi nazionali e internazionali. Ha svolto lavoro di revisione per numerose riviste e convegni nazionali e internazionali. E stata Program co-chair della International Conference on Logic Programming ICLP2013 tenutasi ad Istanbul (T) dal 26 al 30Agosto 2013, e ne ha curato gli atti con due numeri speciali della rivista Theory and Practice of Logic Programming (Cambridge University Press, UK). E stata Program co-chair della 14th Conference of the Italian Association for Artificial Intelligence, AIIA2015, Ferrara, Settembre 2015, e ne ha curato gli atti con un volume della collana Lecture Notes in Artificial Intelligence (Springer-Verlag, D). È stata membro per il triennio dell Executive Committee della Association for Logic Programming (ALP). E socia della Associazione Italiana per l'intelligenza Artificiale (AI*IA) e del Gruppo Utenti Logic Programming. Fa parte dell editorial board della rivista Intelligenza Artificiale - The International Journal of the AI*IA, edita da IOS Press (UK), Oliviero Stock direttore. Premi e riconoscimenti Ha partecipato al bando VQR e tutti i prodotti (complessivamente 5) hanno ottenuto la valutazione eccellente, concorrendo al raggiungimento del migliore risultato italiano di area (Ingegneria dell Informazione) e miglior risultato in Regione per il Dipartimento di Ingegneria. Ha ottenuto il Best Paper Award alla 7th International Conference on Web Reasoning and Rule Systems (RR- 2013), per l articolo: BUNDLE: A Reasoner for Probabilistic Ontologies by R. Zese, F. Riguzzi, Evelina Lamma and E. Bellodi. Per la sua attività scientifica, e i risultati ottenuti, è stata invitata a tenere una relazione quale invited speaker alla International Conference on Logic Programming ICLP2015, tenutasi a Cork (I), dal 31 Agosto al 4 Settembre Partecipazione a Progetti di Ricerca È stata responsabile (per gli anni 2012, 2013, 2014 di tre Progetti FAR (ex-60%), presso il Dipartimento di Ingegneria, Università di Ferrara. Da Novembre 2012 a Novembre 2015 è responsabile scientifico dell Unità Operativa presso il Dipartimento di Ingegneria dell Università di Ferrara nel progetto: Decision support system to improve appropriateness of repeated execution of laboratory examinations (Ricerca Finalizzata 2010 RF , finanziato da Ministero della Salute).

5 Partecipa al progetto APPROPRIATEZZA DELLA RICHIESTA DI RIPETIZIONE DEGLI ESAMI DI LABORATORIO: IL SUPPORTO DELLE TECNOLOGIE INFORMATICHE finanziato con bando Programma di Ricerca Regione-Università - Area 2 Ricerca per il Governo clinico, della Regione Emilia-Romagna (capofila Azienda USL di Ferrara). Partecipa al progetto PROGETTAZIONE DI STRUMENTI ASSISTIVI PER LA DIDATTICA MULTIMEDIALE PER STUDENTI UNIVERSITARI CON DISABILITÀ VISIVE, finanziato con bando ATTUAZIONE DI INTERVENTI A CARICO DELLE UNIVERSITÀ PREVISTI DALLA LEGGE 17/1999 (Esercizio 2010), con supervisione di borsisti e assegnisti per la parte di sviluppo informatico. Fa parte del Tecnolopolo MechLav e partecipa al Progetto Cluster SORT, finanziato da finanziato da MIUR. Attività di Ricerca L'attività di ricerca di Evelina Lamma si è concentrata durante il triennio sulle aree dell intelligenza artificiale, della logica computazionale, dell apprendimento automatico, e sullo sviluppo di nuovi algoritmi per visione artificiale e classificazione automatica, coprendo aspetti teorici, progettuali, realizzativi e applicativi. L attività è stata dedicata all uso e sperimentazione di linguaggi di logica computazionale, per la specifica e verifica di sistemi, e per l apprendimento di teorie formali, anche probabilistiche, da esempi. Parte dell attività si è concentrata sullo sviluppo di applicazioni (anche knowledge-based) nell ambito della geologia del petrolio, industriale e in campo medico. In ultimo, l attività si è indirizzata verso tecniche di ragionamento e apprendimento probabilistico per Sematic Web e ontologie. Il risultato pratico dell attività sono sistemi applicati in ambito medico, nell ambito della geologia del petrolio, sistemi prototipali per la specifica, la verifica di sistemi normativi e ontologie, e un ragionatore ontologico probabilistico (BUNDLE) per il quale è stato ottenuto il premio migliore lavoro alla conferenza internazionale Web Reasoning and Rule Systems RR2013.

6 Pubblicazioni nel triennio (tutte con peer-review) Articoli su Rivista Internazionale Ferraretti, D., Gamberoni, G., Lamma, E.,Unsupervised and supervised learning in cascade for petroleum geology, 2012, Expert Systems with Applications, Vol.39, n.10, pp , doi: /j.eswa Chiarelli, T., Franchini, F., Lamma, A., Lamma, E., Sansoni, T., From implant planning to surgical execution: An integrated approach for surgery in oral implantology, 2012, International Journal of Medical Robotics and Computer Assisted Surgery,8,1, pp , /rcs.422 Alberti, M., Gavanelli, M., Lamma, E., The CHR-based implementation of the SCIFF abductive system, 2013, Fundamenta Informaticae,124,4, pp , /FI Chiarelli, T., Lamma, E., Sansoni, T., CT dataset anisotropy management for oral implantology planning software, 2013, International Journal of Computer Assisted Radiology and Surgery,8,2, pp , /s Lamma, E., Swift, T., Editorial: 29th International Conference on Logic Programming special issue, 2013, Theory and Practice of Logic Programming,13,5-Apr, pp , /s , Editorial Bellodi, E., Lamma, E., Riguzzi, F., Costa, V.S., Zese, R., Lifted variable elimination for probabilistic logic programming, 2014, Theory and Practice of Logic Programming,Vol.14, 5-Apr, pp , /S Riguzzi, F., Bellodi, E., Lamma, E., Zese, R., Probabilistic Description Logics under the distribution semantics, 2015, Semantic Web, 6,5, pp , /sw F. Riguzzi, E. Bellodi, E. Lamma, R. Zese, G. Cota, Probabilistic Logic Programming on the Web, Accepted for publication on Software: Practice & Experience, Wiley, UK, Forthcoming. Capitolo di libro su Collana Internazionale Alberti, M., Gavanelli, M., Lamma, E., Deon +: Abduction and constraints for normative reasoning, 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),7360 LNCS,pp ,doi: / _17 Prooceedings Conferenze e Workshop Internazionali Zese, R., Bellodi, E., Lamma, E., Riguzzi, F., Aguiari, F., Semantics and inference for probabilistic description logics, 2014, Lecture Notes in Computer Science, n. 8816, pp , / _5 Riguzzi, F., Bellodi, E., Lamma, E., Probabilistic ontologies in datalog+/-, 2012, Proceedings of the Italian Convention on Computational Logic - CILC2012, CEUR Workshop Proceedings, n.857, pp Riguzzi, F., Bellodi, E., Lamma, E., Zese, R., Epistemic and statistical probabilistic ontologies, 2012, Proceedings of the 8th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2012), collocated with the 11th International Semantic Web Conference (ISWC 2012), CEUR Workshop Proceedings, n.900, pp Riguzzi, F., Bellodi, E., Lamma, E., Probabilistic datalog+/- under the distribution semantics, 2012, 2012 International Workshop on Description Logics - DL2012, CEUR Workshop Proceedings, n. 846, pp Chiarelli, T., Lamma, E., Sansoni, T., Mandibular nerve canal identification for preoperative planning in oral implantology, 2012, Computational Modelling of Objects Represented in Images: Fundamentals, Methods and Applications III - Proceedings of the International Symposium, CompIMAGE 2012, CRC Press, pp Riguzzi, F., Bellodi, E., Lamma, E., Zese, R., Semantics and inference for probabilistic ontologies, 2012, PAI2012 Proceedings of the AI*IA Workshop and Prize for Celebrating 100th Anniversary of Alan Turing's Birth, CEUR Workshop Proceedings,n.860, pp Buffon, L., Lamma, E., Riguzzi, F., Formenti, D., A neural network-based vision inspection system [Un sistema di Vision Inspection basato su reti neurali], 2012, PAI2012 Proceedings of the AI*IA Workshop and Prize for Celebrating 100th Anniversary of Alan Turing's Birth, CEUR Workshop Proceedings,n.860, pp. 1-6.

7 Derboni, M., Lamma, E., Zaccaro, A., Improvement of algorithms for image processing from 3D scanners using Simulated Annealing [Miglioramento di algoritmi di elaborazione di immagini da scanner 3D tramite Simulated Annealing], 2012, PAI2012 Proceedings of the AI*IA Workshop and Prize for Celebrating 100th Anniversary of Alan Turing's Birth, CEUR Workshop Proceedings,n.860, pp Ferraretti, D., Gamberoni, G., Lamma, E., I2AM: A Semi-automatic system for data interpretation in petroleum geology, 2012, PAI2012 Proceedings of the AI*IA Workshop and Prize for Celebrating 100th Anniversary of Alan Turing's Birth, CEUR Workshop Proceedings,n.860, pp Riguzzi, F., Bellodi, E., Lamma, E., Zese, R., Computing instantiated explanations in OWL DL, 2013, Lecture Notes in Computer Science, n.8249 LNAI, pp , / _34 Zese, R., Bellodi, E., Lamma, E., Riguzzi, F., A description logics tableau reasoner in prolog, 2013, Proceedings of the 28th Italian Convention on Computational Logic - CILC2013, CEUR Workshop Proceedings,n.1068, pp Riguzzi, F., Bellodi, E., Lamma, E., Zese, R., Parameter learning for probabilistic ontologies, 2013, Lecture Notes in Computer Science, n LNCS, pp , / _26 Riguzzi, F., Bellodi, E., Lamma, E., Zese, R., BUNDLE: A reasoner for probabilistic ontologies, 2013, Lecture Notes in Computer Science,n.7994 LNCS, pp , / _14 Piva, A., Gamberoni, G., Ferraretti, D., Lamma, E., di4g: Uno strumento di clustering per l'analisi integrata di dati geologici, 2013, PAI2013 Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AIxIA 2013), CEUR Workshop Proceedings,n.1107, pp Riguzzi, F., Bellodi, E., Zese, R., Lamma, E., Learning the parameters of probabilistic description logics, 2014, LBP-ILP Late Breaking Papers of the 23rd International Conference on Inductive Logic Programming, CEUR Workshop Proceedings,n.1187, pp Riguzzi, F., Bellodi, E., Lamma, E., Zese, R., Cota, G., Learning probabilistic description logics, 2014, Lecture Notes in Computer Science, n.8816, pp , / _4 Gallerani, M., Pelizzola, D., Pivanti, M., Boni, M., Lamma, E., Bellodi, E., Appropriateness of repeated execution of laboratory examinations: A CDSS Approach, 2014, Proceedings IEEE International Conference on Healthcare Informatics, ICHI 2014, pp , /ICHI Riguzzi, F.; Bellodi, E.; Lamma, E.; Zese, R., Reasoning with Probabilistic Ontologies, 2015, Proceedings International Joint Conferences on Artificial Intelligence, AAAI, Palo Alto, California, pp Gavanelli, M.; Lamma, E.; Riguzzi, F.; Bellodi, E.; Zese, R.; Cota, G., An Abductive Framework for Datalog± Ontologies, 2015, ICLP-TCs Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), CEUR Workshop proceedings, Vol. 1433, pp.1-13 Montali, M.; Chesani, F.; Gavanelli, M.; Lamma, E.; Mello, P., Evaluating compliance: from LTL to abductive logic programming, 2015, Proceedings of the 30th Italian Convention on Computational Logic - CILC2015, CEUR Workshop proceedings, Vol. 1459, pp Gavanelli, M.; Lamma, E.; Riguzzi, F.; Bellodi, E.; Zese, R.; Cota, G., Abductive Logic Programming for Datalog± Ontologies, 2015, Proceedings of the 30th Italian Convention on Computational Logic - CILC2015, CEUR Workshop proceedings, Vol. 1459, pp R. Zese, E. Bellodi, F. Riguzzi, E. Lamma, Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques, AI*IA2015 Doctoral Consortium, CEUR Ws Proceedings, n. 1485, pp. 1-6 G. Cota, R. Zese, E. Bellodi, E. Lamma, F. Riguzzi, Learning Probabilistic Ontologies with Distributed Parameter Learning, AI*IA2015 Doctoral Consortium, CEUR Ws Proceedings, n. 1485, pp Gallerani, M., Pelizzola, D., Pivanti, M., Boni, M., Guerra, G., Lamma, E., Bellodi, E., Reducing laboratory examinations by a Computer-aided Clinical decision System, 2015, Proceedings IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Forthcoming. Ferrara, 31 Ottobre 2015