Attività Didattica e Scientifica

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Attività Didattica e Scientifica"

Transcript

1 Attività Didattica e Scientifica di Luca Pulina Indice 1 Informazioni personali 2 2 Posizione attuale 2 3 Formazione Studi Attività in Atenei ed Enti di Ricerca Attività didattica Attività di docenza Attività di relatore tesi di laurea Attività di Ricerca Scientifica Ontology-Based Data Access Procedure di decisione per problemi in Programmazione Logica Disgiuntiva Procedure per la verifica formale di metodi di apprendimento computazionale nella robotica antropomorfa Tecniche di ottimizzazione booleana Tecniche per il riconoscimento biometrico Altre attività di ricerca Altre attività scientifiche Partecipazione a Comitati di Programma Organizzazione di eventi Attività di revisione Conferenze e Workshop Progetti di Ricerca Pubblicazioni scientifiche Riviste Conferenze e Workshop con proceeding formali Altre pubblicazioni Attività di Servizio 17 1

2 1 INFORMAZIONI PERSONALI 2 1 Informazioni personali Nato a Cormons (Gorizia), il 4 Agosto Coniugato e residente in Sassari. Recapito lavorativo: Luca Pulina Università degli Studi di Sassari Dipartimento di Scienze Politiche, Scienze della Comunicazione ed Ingegneria dell Informazione Viale Mancini Sassari Tel.: WWW: 2 Posizione attuale Dal 1 Marzo 2011, sono ricercatore (settore ING-INF/05, Sistemi di Elaborazione delle Informazioni) presso il Dipartimento di Scienze Politiche, Scienze della Comunicazione ed Ingegneria dell Informazione dell Università degli Studi di Sassari. Nel Gennaio 2014 ho conseguito l abilitazione scientifica nazionale alle funzioni di professore di seconda fascia nel settore concorsuale 01/B1. 3 Formazione 3.1 Studi Diploma di Dottore di Ricerca in Robotica conseguito 8/4/2009 presso la Facoltà di Ingegneria dell Università di Genova. Laurea in Ingegneria Informatica (vecchio ordinamento) conseguita il 16/6/2005 presso la Facoltà di Ingegneria dell Università di Genova. Diploma di maturità scientifica conseguito nell anno scolastico 1996/1997 presso il Liceo Scientifico Leonardo Da Vinci, Lanusei (OG). 3.2 Attività in Atenei ed Enti di Ricerca Da Gennaio 2009 a Febbraio 2011, titolare di assegno per la collaborazione ad attività di ricerca per il programma Metodi di apprendimento computazionale per lo sviluppo di sistemi cognitivi in robot umanoidi, settore scientifico disciplinare ING/INF-05, conferito in data 2 Gennaio 2009 dall Università degli Studi di Genova. Da Maggio 2008 ad Agosto 2008, visiting student presso la School of Computer Science and Information Systems del Birkbeck College della University of London, nel gruppo guidato dal Prof. M. Zakharyaschev. Dal Giugno 2005 al Dicembre 2005, collaboratore scientifico presso il DIST dell Università di Genova.

3 4 ATTIVITÀ DIDATTICA 3 4 Attività didattica Nell ultimo triennio in oggetto ho ricoperto incarichi di docenza in vari insegnamenti della Facoltà di Scienze Politiche e del Dipartimento di Scienze Politiche, Scienze della Comunicazione ed Ingegneria dell Informazione dell Università di Sassari e sono stato relatore di diverse tesi di Laurea. Inoltre, sono stato docente in corsi di master post-laurea. Tali attività sono elencate in dettaglio nei paragrafi seguenti. 4.1 Attività di docenza Sono stato docente titolare dei seguenti corsi: Anno Accademico 2012/2013 Interazione Uomo Macchina, Corso di Laurea in Scienze della Comunicazione, Dipartimento di Scienze Politiche, Scienze della Comunicazione e Ingegneria dell Informazione dell Università degli Studi di Sassari (12 CFU). Progettazione di Ambienti Tecnologici per la Comunicazione, Corso di Laurea Magistrale in Comunicazione e Pubbliche Amministrazioni, Dipartimento di Scienze Politiche, Scienze della Comunicazione e Ingegneria dell Informazione dell Università dell Università degli Studi di Sassari (12 CFU). Anno Accademico 2011/2012 Interazione Uomo Macchina, Corso di Laurea in Scienze della Comunicazione, Facoltà di Scienze Politiche dell Università degli Studi di Sassari (12 CFU). Progettazione di Ambienti Tecnologici per la Comunicazione, Corso di Laurea Magistrale in Comunicazione e Pubbliche Amministrazioni, Facoltà di Scienze Politiche dell Università degli Studi di Sassari (12 CFU). Software per Analisi Economiche, Master in Valutazione di Politiche, Facoltà di Scienze Politiche dell Università degli Studi di Sassari (2 CFU). Corso di recupero debiti formativi in Informatica, Corso di Laurea in Scienze della Comunicazione, Facoltà di Scienze Politiche dell Università degli Studi di Sassari (2 CFU). Anno Accademico 2010/2011 Interazione Uomo Macchina, Corso di Laurea in Scienze della Comunicazione, Facoltà di Scienze Politiche dell Università degli Studi di Sassari (12 CFU). Informatica, Master in Finanza Etica, Facoltà di Scienze Politiche dell Università degli Studi di Sassari (1 CFU). Docente titolare del corso Tecnologie Software per la Bioingegneria, I anno CLM Bioingegneria, Facoltà di Ingegneria dell Università degli Studi di Genova (6 CFU). Anno Accademico 2009/2010

4 4 ATTIVITÀ DIDATTICA 4 Docente del corso Informatics del Master universitario di II livello in Scienze e Tecnologie degli Impianti Nucleari, organizzato dall Università di Genova in collaborazione con Ansaldo Energia. Attività di esercitatore nel corso di Progettazione ed Analisi di Algoritmi (titolare Prof. A. Tacchella), Corso di Laurea in Ingegneria Informatica, Facoltà di Ingegneria dell Università di Genova. Attività di esercitatore nel corso di Metodi Computazionali di Apprendimento (titolare Prof. A. Tacchella), Corso di Laurea Magistrale in Bioingegneria, Facoltà di Ingegneria dell Università di Genova. Anno Accademico 2008/2009 Attività di esercitatore nel corso di Progettazione ed Analisi di Algoritmi (titolare Prof. A. Tacchella), Corso di Laurea in Ingegneria Informatica, Facoltà di Ingegneria dell Università di Genova. Attività di esercitatore nel corso di Metodi Computazionali di Apprendimento (titolare Prof. A. Tacchella), Corso di Laurea Magistrale in Bioingegneria, Facoltà di Ingegneria dell Università di Genova. Anno Accademico 2007/2008 Docente (assieme al Prof. A. Tacchella) del corso Tecniche Diagnostiche, Master Universitario di II livello Tecnologie Avanzate per Sistemi Intelligenti Integrati, organizzato da Distretto Tecnologico Ligure in collaborazione con l Università di Genova. Attività di esercitatore nel corso di Linguaggi e Traduttori 1 (titolare Prof. A. Tacchella), Corso di Laurea Magistrale in Ingegneria Informatica, Facoltà di Ingegneria dell Università di Genova. Attività di esercitatore nel corso di Metodi Computazionali di Apprendimento (titolare Prof. A. Tacchella), Corso di Laurea Magistrale in Bioingegneria, Facoltà di Ingegneria dell Università di Genova. Anno Accademico 2005/2006 Attività di esercitatore nel corso di Fondamenti di Informatica 2 (titolare Prof. M. Di Manzo) per il corso di Ingegneria Gestionale, Facoltà di Ingegneria dell Università di Genova. 4.2 Attività di relatore tesi di laurea Sono stato relatore delle seguenti tesi di laurea in Scienze della Comunicazione e laurea magistrale in Comunicazione e Pubbliche Amministrazioni presso l Università di Sassari: Laurea in Scienze della Comunicazione 1. Francesca Marras Studio e progettazione del portale web: Guida allorientamento post laurea Anno Accademico 2012/ Marco Pizzardo Studio di interfacce utente per il controllo di case intelligenti Anno Accademico 2012/2013.

5 4 ATTIVITÀ DIDATTICA 5 3. Ilenia Mannu Progettazione e implementazione del portale web Erasmus in Murcia Anno Accademico 2012/ Giuseppina Usai Progettazione e implementazione del sito internet Galtellì Antico Borgo Anno Accademico 2011/ Carla Cardia Analisi di applicazioni interattive per la Pubblica Amministrazione. Il portale tematico Sardegna Agricoltura Anno Accademico 2011/ Riccardo Pinna Utilizzo della piattaforma MOODLE per la gestione della tesi di laurea Anno Accademico 2011/ Silvia Ariu Studio di strumenti software per l analisi dei compiti Anno Accademico 2011/ Roberta Fara Verifica automatica dell accessibilità per i siti delle Pubbliche Amministrazioni: un caso di studio Anno Accademico 2011/ Alice Pusceddu Studio di strumenti per il controllo automatico dell accessibilità dei siti Web Anno Accademico 2011/ Francesca Ghera essmadrid. Una guida interattiva per Erasmus a Madrid Anno Accademico 2010/ Silvio Nieddu Geo social network: un analisi comparativa Anno Accademico 2010/ Valentina Natale Studio di metodi per la valutazione automatica dell accessibilità delle interfacce Web Anno Accademico 2010/2011. Laurea Magistrale in Comunicazione e Pubbliche Amministrazioni 1. Chiara Brotzu Linee guida per la progettazione di interfacce nei sistemi di supporto alle decisioni Anno Accademico 2011/ Giorgia Taras L Eye-Tracking nella valutazione delle interfacce utente Anno Accademico 2011/ Tiziana Dessì Progettazione del portale Web: Ritratto d artista: Frida Kahlo Anno Accademico 2011/ Laura Pandolfo Studio di metodi per l analisi dei compiti in sistemi di supporto al decision maker Anno Accademico 2011/ Maria Grazia Pintori Progettazione di un applicazione interattiva per il potenziamento della comunicazione in bambini con difficoltà di apprendimento Anno Accademico 2011/2012. Sono stato co-relatore delle tesi di laurea dei seguenti allievi: Nicole Pinna: A.A. 2011/2012, studentessa in Comunicazione e Pubbliche Amministrazioni, Università di Sassari. Mattia Desana: A.A. 2009/2010, studente in Ingegneria Informatica, Università di Genova.

6 5 ATTIVITÀ DI RICERCA SCIENTIFICA 6 Nadia Freccero: A.A. 2009/2010, studente in Ingegneria Biomedica, Università di Genova. Alessandro Roncone: A.A. 2008/2009, studente in Ingegneria Biomedica, Università di Genova. Claudia Peschiera: A.A. 2007/2008, studentessa in Ingegneria Informatica, Università di Genova. Elisa Molinari: A.A. 2006/2007, studentessa in Ingegneria Informatica, Università di Genova. Sara Lago: A.A. 2006/2007, studentessa in Ingegneria Informatica, Università di Genova. 5 Attività di Ricerca Scientifica Nell ultimo triennio mi sono occupato delle seguenti tematiche: 5.1 Ontology-Based Data Access Ontology-Based Data Access (OBDA) è un paradigma emergente che coinvolge diverse aree di ricerca, quali Knowledge-based Representation and Reasoning (KR&R) e Data Bases (DBs). Obiettivo di tale paradigma è quello di rendere efficienti delle query di carattere prettamente logico tipiche di un approccio KR&R in basi di dati di grandi dimensioni problema tipico delle applicazioni DB. In [BCPT13a] è riportata una dettagliata analisi sperimentale riguardante il confronto dei progetti ODBA allo stato dell arte su un insieme di ontologie popolate con dati sintetici, in modo da simulare scenari di utilizzo paragonabili ad applicazioni reali con grosse moli di dati. In tale lavoro sono stati messi in evidenza i punti di forza e debolezza dei diversi strumenti considerati. Per supportare le analisi sopra descritte, in [BP13] è stato proposto uno strumento chiamato FRaQuE (Framework for Rapid Query Processing Evaluation), il cui obiettivo è quello di offrire ad un utente non esperto una soluzione push-button per la valutazione comparativa di strumenti per OBDA. Infine, in [BCPT13b] è riportato il ruolo che le tecnologie OBDA attualmente hanno in un progetto riguardante la logistica intermodale da me coordinato. 5.2 Procedure di decisione per problemi in Programmazione Logica Disgiuntiva La Programmazione Logica Disgiuntiva (nota come Answer Set Programming, ASP è un paradigma di programmazione che è stato proposto nelle aree di ricerca riguardanti il ragionamento non-monotono e la programmazione logica. Recentemente, tale paradigma stato impiegato per la soluzione di vari problemi di carattere industriale. Risulta quindi di cruciale importanza lo sviluppo di strumenti ASP efficienti per la soluzione di tali tipologie di problemi. In [MPR12a, MPR12c, MPR13b] è stato proposto un sistema ASP in grado di scegliere in maniera automatica la miglior soluzione disponibile per una data tipologia di problema. Per arrivare a tale soluzione è stato prima definito un insieme di feature atte a caratterizzare le diverse tipologie di problemi ASP. Il passo successivo ha riguardato lo studio e l utilizzo di metodi di apprendimento automatico per la costruzione di un classificatore capace

7 5 ATTIVITÀ DI RICERCA SCIENTIFICA 7 di associare il problema ASP in esame col relativo metodo di soluzione. I risultati riportati mostrano come lo strumento proposto sia in grado di essere più robusto ed efficiente rispetto agli strumenti attualmente allo stato dell arte. In [MPR13c], lo strumento sopra descritto è stato esteso con tecniche che permettono un riadattamento automatico delle politiche di decisione apprese, in modo da ottenere prestazioni robuste anche in caso di tipologie di problemi ASP non riconducibili a quelli modellati nel classificatore. Infine, in [MPR13a] tali metodologie di apprendimento per problemi ASP sono state estese anche alla fase di grounding. 5.3 Procedure per la verifica formale di metodi di apprendimento computazionale nella robotica antropomorfa L impiego delle Reti Neurali (Artificial Neural Networks, ANNs) in applicazioni critiche dal punto di vista della sicurezza, quali, ad esempio, applicazioni riguardanti la robotica umanoide, è spesso stato limitato perchè è difficile poter prevenire potenziali malfunzionamenti utilizzando, ad esempio, tecniche tradizionali di testing. In [PT11c] è stato proposto NeVer, uno strumento per la verifica formale di ANNs. NeVer codifica il problema della verifica di sicurezza di una ANN nel corrispondente problema di soddisfacibilità di combinazioni booleane di vincoli aritmetici lineari. La codifica utilizzata fa ricadere i corrispondenti problemi nell ambito della Satisfiability Modulo Theory (SMT). I solutori per tali problemi sono spesso utilizzati per problematiche riguardanti la Computer Aided Verification. In [PT11b, PT12] è presentata una dettagliata analisi comparativa riguardante gli SMT solver su problemi di verifica per Multi-Layer Perceptrons), una tipologia di ANN molto diffusa. Successivamente, mi sono occupato della verifica formale di metodi di apprendimento per rinforzo (Reinforcement Learning, RL). In [PPMT13a, PPMT13b] è studiato il problema di garantire un livello di sicurezza ad agenti per i quali le politiche di comportamento sono apprese per rinforzo. In particolare, è proposta una metodologia per la verifica e la riparazione delle politiche apprese in caso esse superino una data soglia di rischio. L approccio qui presentato è basato su algoritmi per il probabilistic model checking, ed è stato applicato ad alcuni task riguardanti azioni compiute dal robot umanoide icub dell Istituto Italiano di Tecnologia, dimostrandosi robusto ed efficace. 5.4 Tecniche di ottimizzazione booleana In [MP11] è presentata un analisi sperimentale comparativa riguardante diverse tipologie di solutori per ottimizzazione booleana applicati sui Over-Subscription Planning Problems (OSPPs). Essi sono problemi di pianificazione contenenti preferenze quantitative espresse sui goal, nel caso che gli stessi non siano stati raggiunti. In particolare, viene associato un costo ad ogni violazione del goal e la soluzione del problema consiste nella ricerca di un piano la cui metrica massimizzi il reward per i goal soddisfatti. In [MP12] mi sono poi occupato di tecniche di ottimizzazione booleana per la soluzione di Disjunctive Temporal Problems (DTPs), un formalismo molto utilizzato per la modellazione di problemi a vincoli. In [MP12] è presentato un nuovo approccio che trasforma il problema di ottimizzazione associato ai DTP in un problema di Maximum Satisfiability su DTP, in modo da poter utilizzare solutori efficienti risultanti dalle ricerche rigurardanti Satisfiability Modulo Theories. L approccio presentato permette di ottenere tempi di soluzione che sono di ordini di grandezza

8 5 ATTIVITÀ DI RICERCA SCIENTIFICA 8 inferiori rispetto ai sistemi progettati per la soluzione di DTP quali, ad esempio, Maxilitis. Infine, in [BMP13b] sono state studiate analoghe traduzioni relative a problemi DTP con preferenze (DTPP). 5.5 Tecniche per il riconoscimento biometrico In [Pul12] mi sono occupato dell applicazione di algoritmi di swarm intelligence classification per problemi di riconoscimento biometrico e verifica dell identità. Tale approccio è stato poi esteso in [GPT12] in modo da affrontare le problematiche relative all aggiornamento di un template associato ad una certa identità. 5.6 Altre attività di ricerca Dall inizio del mio dottorato (2006), mi sono occupato delle seguenti tematiche, principalmente dell ambito dell Intelligenza Artificiale: Classificazione di algoritmi ed istanze di problemi per il ragionamento automatico con tecniche di apprendimento automatico applicate a portfolio di algoritmi [PT07b, PT07a, Pul08, PT09c, KPS + 09, PT10b, Pul10, SSH + 10]. Procedure di decisione per problemi di soddisfacibilità proposizionale con quantificatori (QSAT); valutazione ed analisi sulla riduzione di complessità empirica di istanze di problemi in QSAT [PT08b, PT08c, PT08d, PT08a, PT09a, PT09d, PT09b, PT10d]. Procedure per la verifica formale di metodi di apprendimento computazionale [PT10c, MNP + 10a, MNP + 10b, PT10a]. Valutazione ed analisi empirica di software per il ragionamento automatico [NPT06d, Pul06, NPT06c, NPT06b, NPT06a, NPT06e, GPT07, NPT07, NPPT09, PPT10a, PPT + 10b]. 5.7 Altre attività scientifiche Partecipazione a Comitati di Programma Sono stato (o sono ancora) membro del comitato di programma delle seguenti conferenze/workshop: Membro di Comitato di Programma di ECAI 2014 Twenty-first European Conference on Artificial Intelligence. Membro di Comitato di Programma del RCRA 2014 Workshop on experimental evaluation of algorithms for solving problems with combinatorial explosion. Membro di Comitato di Programma del CILC esimo Convegno Italiano di Logica Computazionale. Membro di Comitato di Programma di BTAS 2013 Biometrics: Theories, Applications and Systems. Membro di Comitato di Programma del RCRA 2013 Workshop on experimental evaluation of algorithms for solving problems with combinatorial explosion.

9 5 ATTIVITÀ DI RICERCA SCIENTIFICA 9 Membro di Comitato di Programma del CILC esimo Convegno Italiano di Logica Computazionale. Membro di Comitato di Programma del RCRA 2012 Workshop on experimental evaluation of algorithms for solving problems with combinatorial explosion. Membro di Comitato di Programma della Twenty-Sixth Conference on Artificial Intelligence (AAAI-12) Organizzazione di eventi Organizzatore della libreria di problemi per la valutazione di solutori di formula booleane quantificate (www.qbflib.org). Local organizer del International Workshop on Computer Vision Co-organizzatore della quarta valutazione internazionale competitiva su decisori per la soddisfacibilità in logica proposizionale con quantificatori (QBFE- VAL 10). Co-organizzatore della terza valutazione internazionale competitiva su decisori per la soddisfacibilità in logica proposizionale con quantificatori (QBFE- VAL 08), evento in congiunzione con la 11th International Conference on Theory and Applications of Satisfiability Testing (SAT08). Co-organizzatore della seconda valutazione internazionale competitiva su decisori per la soddisfacibilità in logica proposizionale con quantificatori (QBFE- VAL 07), evento in congiunzione con la 10th International Conference on Theory and Applications of Satisfiability Testing (SAT07). Co-organizzatore della prima valutazione internazionale competitiva su decisori per la soddisfacibilità in logica proposizionale con quantificatori (QBFE- VAL 06), evento in congiunzione con la 9th International Conference on Theory and Applications of Satisfiability Testing (SAT06) Attività di revisione Ho partecipato all attività di revisione di vari articoli scientifici proposti per la pubblicazione su riviste, congressi, e workshop nazionali ed internazionali, quali: IEEE Transactions on Pattern Analysis and Machine Intelligence Journal of Experimental & Theoretical Artificial Intelligence Pattern Recognition Letters Image and Vision Computing Annals of Mathematics and Artificial Intelligence 2014 IEEE International Conference on Robotics and Automation (ICRA 14). IEEE/RSJ International Conference on Intelligent Robots and Systems 2011 (IROS 13) IEEE International Conference on Robotics and Automation (ICRA 13).

10 5 ATTIVITÀ DI RICERCA SCIENTIFICA 10 6th IAPR International Conference on Biometrics (ICB 13). IEEE Intelligent Transportation Systems Society Conference Management System (IEEE-ITSC2013). 18th Iberoamerican Congress on Pattern Recognition (CIARP2013). RCRA 2012 Workshop on experimental evaluation of algorithms for solving problems with combinatorial explosion. 17th International Conference on Principles and Practice of Constraint Programming (CP 11). IEEE/RSJ International Conference on Intelligent Robots and Systems 2011 (IROS 11). 13th International Conference on Theory and Applications of Satisfiability Testing (SAT 10). Workshop on experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 10). 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR 10) IEEE International Conference on Robotics and Automation (ICRA 10). 15th International Conference on Principles and Practice of Constraint Programming (CP 09). 12th International Conference on Theory and Applications of Satisfiability Testing (SAT 09). 23th Conference of the American Association on Artificial Intelligence (AAAI 08). 11th International Conference on Theory and Applications of Satisfiability Testing (SAT 08). RCRA 2008 Workshop on experimental evaluation of algorithms for solving problems with combinatorial explosion Conferenze e Workshop Relazioni invitate Department of Computer Science and Information Systems, Birkbeck, University of London (10 Maggio, Londra - UK). Presentazione di articoli a conferenze e workshop 2nd Workshop on Grounding and Transformations for Theories With Variables, 15 Settembre La Coruna - Spagna. 13th European Conference on Logics in Artificial Intelligence, Settembre Tolosa - Francia.

11 5 ATTIVITÀ DI RICERCA SCIENTIFICA 11 19th RCRA Workshop on experimental evaluation of algorithms for solving problems with combinatorial explosion, Giugno Roma - Italia. 5th IAPR International Conference on Biometrics, 29 Marzo - 1 Aprile New Delhi - India. 12th Conference of the Italian Association for Artificial Intelligence, Settembre Palermo - Italia. 18th RCRA Workshop on experimental evaluation of algorithms for solving problems with combinatorial explosion, Luglio, Barcellona - Spagna. Workshop on Evaluation Methods for Solvers and Quality Metrics for Solutions, 20 Luglio, Edinburgh - UK. Thirteenth International Conference on Theory and Applications of Satisfiability Testing, Luglio, Edinburgh - UK. Pragmatics of SAT, 10 Luglio, Edinburgh - UK. 17th RCRA Workshop on experimental evaluation of algorithms for solving problems with combinatorial explosion, Giugno, Bologna - Italia. 16th RCRA Workshop on experimental evaluation of algorithms for solving problems with combinatorial explosion, Dicembre, th Conference of the Italian Association for Artificial Intelligence, 9-12 Dicembre Reggio Emilia - Italia. 15th RCRA Workshop on experimental evaluation of algorithms for solving problems with combinatorial explosion, Dicembre, Udine - Italia. 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Novembre, Doha - Qatar. 7th Mexican International Conference on Artificial Intelligence, Ottobre, Atizapan de Zaragoza - Mexico. Doctoral Program of the 14th International Conference on Principle and Practice of Constraint Programming, Settembre, Sydney - Australia. 2nd International Workshop on Quantification in Constraint Programming, 14 Settembre Sydney - Australia. 11th International Conference on Theory and Applications of Satisfiability Testing, Maggio, Guangzhou - P. R. China. 10th Congress of Italian Association for Artificial Intelligence, Settembre Roma - Italia. 14th RCRA Workshop on experimental evaluation of algorithms for solving problems with combinatorial explosion, 5-6 Luglio, Roma - Italia. 1st International Workshop on Computational Social Choice, 6-8 Dicembre Amsterdam - The Netherlands.

12 6 PUBBLICAZIONI SCIENTIFICHE 12 3rd European Starting AI Researcher Symposium, Agosto Riva del Garda - Italia. Analisi sperimentale e benchmark di algoritmi per l intelligenza artificiale, 23 Giugno Udine - Italia. 5.8 Progetti di Ricerca Coordinatore scientifico del progetto RAS CP Metodi innovativi per il supporto alle decisioni riguardanti l ottimizzazione delle attività di un terminal container, Importo finanziato: EUR. Coordinatore scientifico del progetto Metodi di apprendimento automatico per la selezione di algoritmi, FAR 2011 EX 60%, Università di Sassari, Importo finanziato: EUR. Inserito, in qualità di consulente scientifico, nel progetto RAS CP Sistemi biometrici adattivi: metodologie, modelli e algoritmi, responsabile Prof. M. Tistarelli. Inserito, in qualità di consulente scientifico, nel progetto Cooperative Human Robot Interaction Systems (CHRIS, FP ), progetto finanziato dall Unione Europea nell ambito del settimo programma quadro, per la parte riguardante Formal verification of control software and the automated synthesis of safe learning agents, responsabile Prof. A. Tacchella, anni Inserito, in qualità di consulente scientifico, nel progetto Integrazione di metodi di ragionamento automatico nel model checking: verifica formale automatica di sistemi di grande scala e a stati infiniti, cofinanziato dal MIUR e dall Università di Genova, responsabili Prof. A. Armando e Prof. A. Tacchella, durata biennale, anni Inserito, in qualità di consulente scientifico, nel progetto Sistemi di Ragionamento Automatico per lo Studio e lo Svilippo di Robot Antropomorfi, finanziato dalla Facoltà di Ingegneria dell Università di Genova, responsabili Prof. A. Tacchella e G. Metta, anni Inserito, in qualità di consulente scientifico, nel progetto Knowledge Level Automated Software Engineering (KLASE, FIRB RBNE0195K5), finanziato dal MIUR, responsabile Prof. E. Giunchiglia, anni Pubblicazioni scientifiche 6.1 Riviste [MPR13b] Marco Maratea, Luca Pulina, and Francesco Ricca. A Multi-Engine approach to Answer Set Programming. Theory and Practice of Logic Programming, In Press, 2013.

13 13 [MPR13c] Marco Maratea, Luca Pulina, and Francesco Ricca. Multi-engine asp solving with policy adaptation. Journal of Logic and Computation, In Press, [MP12] Marco Maratea and Luca Pulina. Solving disjunctive temporal problems with preferences using maximum satisfiability. AI Communications, 25(2): , [PT12] Luca Pulina and Armando Tacchella. Challenging smt solvers to verify neural networks. AI Communications, 25(2): , [PT11c] Luca Pulina and Armando Tacchella. Never: a tool for artificial neural networks verification. Annals of Mathematics and Artificial Intelligence, 62(3-4): , [PT10b] Luca Pulina and Armando Tacchella. Aqme 10 system description. Journal on Satisfiability, Boolean Modeling and Computation, 7:65 70, [PT10d] Luca Pulina and Armando Tacchella. An empirical study of qbf encodings: from treewidth estimation to useful preprocessing. Fundamenta Informaticae, 102(3): , [Pul10] Luca Pulina. Engineering portfolios of machine learning algorithms to solve complex tasks in robotics and automated reasoning. Ai Communications, 23(1):61 63, [PT09c] Luca Pulina and Armando Tacchella. A self-adaptive multi-engine solver for quantified boolean formulas. Constraints, 14(1):80 116, [NPPT09] Massimo Narizzano, Claudia Peschiera, Luca Pulina, and Armando Tacchella. Evaluating and certifying qbfs: A comparison of state-of-the-art tools. AI communications, 22(4): , [NPT06d] Massimo Narizzano, Luca Pulina, and Armando Tacchella. Report of the third qbf solvers evaluation. JSAT, 2(1-4): , Conferenze e Workshop con proceeding formali [GLPT14] Enrico Grosso, Andrea Lagorio, Luca Pulina, and Massimo Tistarelli. Towards practical space-variant based face recognition and authentication. In 2nd International Workshop on Biometrics and Forensics (IWBF). IEEE, [BCPT13a] Jean-Rémi Bourguet, Giuseppe Cicala, Luca Pulina, and Armando Tacchella. An experimental evaluation of tools for ontology-based data access. In 20th RCRA International Workshop on Experimental Evaluation of Algorithms for solving problems with combinatorial explosion, [BCPT13b] Jean-Rémi Bourguet, Giuseppe Cicala, Luca Pulina, and Armando Tacchella. Obda and intermodal logistics: Active projects and applications. In Web Reasoning and Rule Systems, pages Springer Berlin Heidelberg, [BMP13b] Jean-Rémi Bourguet, Marco Maratea, and Luca Pulina. A reductionbased approach for solving disjunctive temporal problems with preferences. In 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013). Springer Berlin Heidelberg, 2013.

14 14 [BP13] Jean-Rémi Bourguet and Luca Pulina. Fraque: A framework for rapid query processing evaluation. In 2nd OWL Reasoner Evaluation Workshop (ORE 2013), pages 53 60, [MPR13a] Marco Maratea, Luca Pulina, and Francesco Ricca. Automated selection of grounding algorithm in answer set programming. In 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013). Springer Berlin Heidelberg, [PPMT13a] Shashank Pathak, Luca Pulina, Giorgio Metta, and Armando Tacchella. Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the icub. In 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 13), [PPMT13b] Shashank Pathak, Luca Pulina, Giorgio Metta, and Armando Tacchella. How to abstract intelligence?(if verification is in order). In 2013 AAAI Fall Symposium Series, [GLPT12] Enrico Grosso, Andrea Lagorio, Luca Pulina, and Massimo Tistarelli. Understanding critical factors in appearance-based gender categorization. In Computer Vision ECCV Workshops and Demonstrations, pages Springer Berlin Heidelberg, [GPT12] Enrico Grosso, Luca Pulina, and Massimo Tistarelli. Modeling biometric template update with ant colony optimization. In Biometrics (ICB), th IAPR International Conference on, pages IEEE, [MPR12a] Marco Maratea, Luca Pulina, and Francesco Ricca. Applying Machine Learning Techniques to ASP Solving. In Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012), volume 17 of LIPIcs, pages Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, [MPR12c] Marco Maratea, Luca Pulina, and Francesco Ricca. The multi-engine asp solver me-asp. In Proceedings of Logics in Artificial Intelligence, JELIA 2012., volume 7519 of LNCS, pages Springer, [Pul12] Luca Pulina. A swarm intelligence approach for biometrics verification and identification. In 19th RCRA International Workshop on Experimental Evaluation of Algorithms for solving problems with combinatorial explosion, [MP11] Marco Maratea and Luca Pulina. Over-subscription planning with boolean optimization: An assessment of state-of-the-art solutions. In AI* IA 2011: Artificial Intelligence Around Man and Beyond, pages Springer Berlin Heidelberg, [MPP11] Marco Maratea, Maurizio Pianfetti, and Luca Pulina. Solving disjunctive temporal problems with preferences using boolean optimization solvers. In 18th RCRA International Workshop on Experimental Evaluation of Algorithms for solving problems with combinatorial explosion. IJCAI 2011 workshop, [PT11b] Luca Pulina and Armando Tacchella. Checking safety of neural networks with smt solvers: a comparative evaluation. In AI* IA 2011: Artificial Intelligence Around Man and Beyond, pages Springer Berlin Heidelberg, 2011.

15 15 [PT10a] Luca Pulina and Armando Tacchella. An abstraction-refinement approach to verification of artificial neural networks. In Computer Aided Verification, pages Springer Berlin Heidelberg, [SSH + 10] David H Stern, Horst Samulowitz, Ralf Herbrich, Thore Graepel, Luca Pulina, and Armando Tacchella. Collaborative expert portfolio management. In AAAI, pages , [MNP + 10a] Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, and Armando Tacchella. Safe and effective learning: A case study. In Robotics and Automation (ICRA), 2010 IEEE International Conference on, pages IEEE, [MNP + 10b] Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, and Armando Tacchella. Safe learning with real-time constraints: a case study. In Trends in Applied Intelligent Systems, pages Springer Berlin Heidelberg, [PPT10a] Claudia Peschiera, Luca Pulina, and Armando Tacchella. Designing a solver competition: the qbfeval 10 case study. In Evaluation Methods for Solvers and Quality Metrics for Solutions. EasyChair, [PPT + 10b] Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, and Inês Lynce. The seventh qbf solvers evaluation (qbfeval10). In Theory and Applications of Satisfiability Testing SAT 2010, pages Springer Berlin Heidelberg, [KPS + 09] Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, and Michael Zakharyaschev. Minimal module extraction from dl-lite ontologies using qbf solvers. IJCAI, 9: , [PT09a] Luca Pulina and Armando Tacchella. Hard qbf encodings made easy: Dream or reality? In AI* IA 2009: Emergent Perspectives in Artificial Intelligence, pages Springer Berlin Heidelberg, [PT09b] Luca Pulina and Armando Tacchella. Learning to integrate deduction and search in reasoning about quantified boolean formulas. In Frontiers of Combining Systems, pages Springer Berlin Heidelberg, [PT09d] Luca Pulina and Armando Tacchella. A structural approach to reasoning with quantified boolean formulas. In IJCAI, pages , [PT08a] L. Pulina and A. Tacchella. An empirical study of QBF encodings: from treewidth to useful preprocessing. In 15th RCRA workshop Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 08), [PT08b] L. Pulina and A. Tacchella. QuBIS: An (in)complete solver for quantified Boolean formulas. In 7th Mexican International Conference on Artificial Intelligence (MICAI 08), volume 5317 of Lecture Notes in Artificial Intelligence, pages Springer, 2008.

16 16 [PT08c] L. Pulina and A. Tacchella. Treewidth: a useful marker of empirical hardness in quantified Boolean logic encodings. In 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 08), volume 5330 of Lecture Notes in Artificial Intelligence, pages Springer, [PT07b] L. Pulina and A. Tacchella. A multi-engine solver for quantified boolean formulas. In 13th Conference on Principles and Practice of Constraint Programming (CP 07), volume 4741 of Lecture Notes in Computer Science, pages Springer, [NPT07] Massimo Narizzano, Luca Pulina, and Armando Tacchella. Ranking and reputation systems in the qbf competition. In AI* IA 2007: Artificial Intelligence and Human-Oriented Computing, pages Springer Berlin Heidelberg, [NPT06c] Massimo Narizzano, Luca Pulina, and Armando Tacchella. The qbfeval web portal. In Logics in Artificial Intelligence, pages Springer Berlin Heidelberg, [Pul06] L. Pulina. Empirical Evaluation of Scoring Methods. In 3rd European Starting AI Researcher Symposium (STAIRS 06), volume 142 of Frontiers in Artificial Intelligence and Applications, pages IOS Press, Altre pubblicazioni [BGM + 13] Jean-Remi Bourguet, Enrico Giunchiglia, Marco Maratea, Laura Pandolfo, Luca Pulina, Simona Sacone, and Silvia Siri. Metodi innovativi per il supporto alle decisioni riguardanti lottimizzazione delle attivit in un terminal container. In R.i.C.e.R.c.A: RCRA Incontri E Confronti Workshop of the XIII AI*IA Conference, [BMP13a] Jean-Rémi Bourguet, Marco Maratea, and Luca Pulina. Efficient dtpp solving with a reduction-based approach. In 5th Italian Workshop on Planning and Scheduling (IPS 2013), [LSP + 13] C. Liperi, G. Sales, L. Pistidda, L. Floris, L. Pulina, M.G. Manconi, and L. Brazzi. La capnometria nell adulto. In CARACT 2013, [MPR13d] Marco Maratea, Luca Pulina, and Francesco Ricca. On the automated selection of asp instantiators. 2nd Workshop on Grounding and Transformations for Theories With Variables, page 39, [PPTM13] Shashank Pathak, Luca Pulina, Armando Tacchella, and Giorgio Metta. Hierarchical abstraction for verifiable learning. In R.i.C.e.R.c.A: RCRA Incontri E Confronti Workshop of the XIII AI*IA Conference, [LBPG12] Ludovica Lorusso, Gavin Brelstaff, Luca Pulina, and Enrico Grosso. On the plausibility of a generalized model of perceived similarity between faces. In European Conference on Visual Perception 2012, [MPR12b] Marco Maratea, Luca Pulina, and Francesco Ricca. Me-asp: A multiengine solver for answer set programming. In 9th Italian Convention on Computational Logic (CILC 2012), 2012.

17 7 ATTIVITÀ DI SERVIZIO 17 [PT11a] Luca Pulina and Armando Tacchella. Challenging smt solvers to verify neural networks. In 18th RCRA International Workshop on Experimental Evaluation of Algorithms for solving problems with combinatorial explosion. IJCAI 2011 workshop, [PT10c] Luca Pulina and Armando Tacchella. Can we check robot brains? In Formal Methods for Robotics and Automation, [Pul08] L. Pulina. Time to learn or time to forget? Strengths and weaknesses of a self-adaptive approach to reasoning in quantified Boolean formulas. In Doctoral Program of the 14th International Conference on Principles and Practice of Constraint Programming (CPDP 08), pages 66 71, [PT08d] L. Pulina and A. Tacchella. What makes for hard QBF encodings? In 2nd International Workshop on Quantification in Constraint Programming (QiCP 08), [GPT07] C. Ghersi, L. Pulina, and A. Tacchella. Which system should I buy? A case study about the QBF solvers competition. In International Workshop on Scheduling a Scheduling Competition (SSC), in conjunction with 17th International Conference on Automated Planning & Scheduling (ICAPS 07), [PT07a] L. Pulina and A. Tacchella. Harnessing Machine Learning techniques to build a robust solver for quantified Boolean formulas. In 14th RCRA workshop Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 07), [NPT06a] M. Narizzano, L. Pulina, and A. Tacchella. Competitive Evaluation of Automated Reasoning Tools: Statistical Testing vs. Empirical Scoring. In Workshop on Empirical Methods for the Analysis of Algorithms (EMAA 06), [NPT06b] M. Narizzano, L. Pulina, and A. Tacchella. Scoring methods for the evaluation of Automated Reasoning Systems. In 13th RCRA workshop Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 06), [NPT06e] Massimo Narizzano, Luca Pulina, and Armando Tacchella. Voting systems and automated reasoning: the qbfeval case study. 1st Workshop on Computational Social Choice (COMSOC 2006), Attività di Servizio Da Marzo 2011 a Settembre 2013, membro del Consiglio di Corso di Studio del Corso di Laurea in Scienze della Comunicazione, Università di Sassari. Da Maggio 2011 a Settembre 2012, membro del Comitato Scientifico del gruppo di lavoro per il coordinamento delle attività di comunicazione dell Università di Sassari. Da Settembre 2011, membro del Consiglio di Corso di Studio del Corso di Laurea Magistrale in Comunicazione e Pubbliche Amministrazioni, Università di Sassari.

18 7 ATTIVITÀ DI SERVIZIO 18 Da Settembre 2011 a Settembre 2013, membro del Collegio dei Docenti della Scuola di Dottorato in Scienze Sociali dell Università di Sassari. Da Marzo 2013, membro della Commissione Paritetica del Dipartimento di Scienze Politiche, Scienze della Comunicazione ed Ingegneria dell Informazione dell Università di Sassari. Da Luglio 2013, membro della Commissione Didattica del del Corso di Laurea Magistrale in Comunicazione e Pubbliche Amministrazioni, Università di Sassari. Sassari, 25 Febbraio 2014 Luca Pulina

Informazioni Personali. 30 settembre 2011

Informazioni Personali. 30 settembre 2011 CURRICULUM VITAE DELL ATTIVITÀ SCIENTIFICA E DIDATTICA REDATTO AI SENSI DEGLI ARTT. 46 e 47 DEL D.P.R. 28.12.2000, N.445(DICHIARAZIONI SOSTITUTIVE DI CERTIFICAZIONI E DELL ATTO DI NOTORIETÀ) 30 settembre

Dettagli

Curriculum dell attività scientifica e didattica

Curriculum dell attività scientifica e didattica Curriculum dell attività scientifica e didattica Armando Tacchella 12 luglio 2013 Dati Anagrafici Nato a Sestri Levante (provincia di Genova) il 29 ottobre 1972. Coniugato e residente in Genova, Via Cabella

Dettagli

Valentina Poggioni Curriculum Vitae

Valentina Poggioni Curriculum Vitae Valentina Poggioni Curriculum Vitae Dati Anagrafici Nome e Cognome: Valentina Poggioni Luogo e Data di Nascita: Umbertide (PG), 12/07/1976 Residenza: Umbertide (PG), Via Kennedy 7, Cap.06019 Codice Fiscale:

Dettagli

La Laurea Magistrale in Informatica 2014-15

La Laurea Magistrale in Informatica 2014-15 Università degli studi di Udine La Laurea Magistrale in Informatica 2014-15 Consiglio del Corso di Studi (CCS) in Materie Informatiche Aprile 2014 E-mail: tutoratoinformatica@uniud.it Il piano di studi

Dettagli

Nuovo Corso di laurea magistrale in Ingegneria Informatica AA14-15. http://www.dis.uniroma1.it/~ccl_ii/site/

Nuovo Corso di laurea magistrale in Ingegneria Informatica AA14-15. http://www.dis.uniroma1.it/~ccl_ii/site/ Nuovo Corso di laurea magistrale in Ingegneria Informatica AA14-15 http://www.dis.uniroma1.it/~ccl_ii/site/ Laurea Magistrale L obiettivo della laurea magistrale in Ingegneria informatica (Master of Science

Dettagli

Curriculum dell attività scientifica e didattica

Curriculum dell attività scientifica e didattica Curriculum dell attività scientifica e didattica Armando Tacchella Dati Anagrafici Nato a Sestri Levante (provincia di Genova) il 29 ottobre 1972. Coniugato e residente in Genova, Via Montello 16/18. Recapito

Dettagli

Paolo Perlasca. Istruzione e formazione. Esperienza professionale. Attività di ricerca. Attività didattica

Paolo Perlasca. Istruzione e formazione. Esperienza professionale. Attività di ricerca. Attività didattica Paolo Perlasca Dipartimento di Informatica, Indirizzo: via Comelico 39/41, 20135 Milano Telefono: 02-503-16322 Email: paolo.perlasca@unimi.it Paolo Perlasca è ricercatore universitario confermato presso

Dettagli

PROCEDURA DI VALUTAZIONE COMPARATIVA PER LA COPERTURA DI N. 1 POSTO DI PROFESSORE

PROCEDURA DI VALUTAZIONE COMPARATIVA PER LA COPERTURA DI N. 1 POSTO DI PROFESSORE PROCEDURA DI VALUTAZIONE COMPARATIVA PER LA COPERTURA DI N. 1 POSTO DI PROFESSORE UNIVERSITARIO DI RUOLO DI II FASCIA PRESSO L UNIVERSITÀ DEGLI STUDI DI TRENTO, FACOLTÀ DI INGEGNERIA, SETTORE SCIENTIFICO

Dettagli

CURRICULUM'VITAE'ET'STUDIORUM''/'PROF.'ING.'VINCENZO'GALDI'

CURRICULUM'VITAE'ET'STUDIORUM''/'PROF.'ING.'VINCENZO'GALDI' CURRICULUM'VITAE'ET'STUDIORUM''/'PROF.'ING.'VINCENZO'GALDI' VincenzoGaldi,ènatoaSalerno,doverisiede,il03Marzo1967.ÈsposatoconMariaRosaria. Formazione' Nel 1994 ha conseguito con Lode la laurea in Ingegneria

Dettagli

Curriculum Vitae di Andrea Ribichini

Curriculum Vitae di Andrea Ribichini Dati Anagrafici Nome: Andrea Cognome: Ribichini Data e luogo di nascita: 14/01/1973, Roma Cittadinanza: italiana Titoli di Studio Conseguiti 29/02/2008 Titolo di Dottore di Ricerca in Ingegneria Informatica

Dettagli

Verbale n. 2 (valutazione dei titoli e delle pubblicazioni scientifiche)

Verbale n. 2 (valutazione dei titoli e delle pubblicazioni scientifiche) Procedura di valutazione comparativa per la copertura di un posto di professore ordinario per il settore scientifico-disciplinare ING INF/05 Sistemi di Elaborazione delle Informazioni presso la Facoltà

Dettagli

CORSO DI WEB MINING E RETRIEVAL - INTRODUZIONE AL CORSO -

CORSO DI WEB MINING E RETRIEVAL - INTRODUZIONE AL CORSO - 1 CORSO DI WEB MINING E RETRIEVAL - INTRODUZIONE AL CORSO - Corsi di Laurea in Informatica, Ing. Informatica, Ing. di Internet (a.a. 2013-2014) Roberto Basili 2 Overview WM&R: Motivazioni e prospettive

Dettagli

F ORMATO EUROPEO INFORMAZIONI PERSONALI. Data di nascita 21 GENNAIO 1966 ESPERIENZA LAVORATIVA PER IL CURRICULUM VITAE

F ORMATO EUROPEO INFORMAZIONI PERSONALI. Data di nascita 21 GENNAIO 1966 ESPERIENZA LAVORATIVA PER IL CURRICULUM VITAE F ORMATO EUROPEO PER IL CURRICULUM VITAE INFORMAZIONI PERSONALI Nome ARMANDO STERNIERI Nazionalità Italiana Data di nascita 21 GENNAIO 1966 ESPERIENZA LAVORATIVA Principali mansioni e responsabilità Principali

Dettagli

CORSO DI WEB MINING E RETRIEVAL - INTRODUZIONE AL CORSO -

CORSO DI WEB MINING E RETRIEVAL - INTRODUZIONE AL CORSO - 1 CORSO DI WEB MINING E RETRIEVAL - INTRODUZIONE AL CORSO - Corsi di Laurea in Informatica, Ing. Informatica, Ing. di Internet (a.a. 2015-2016) Roberto Basili 2 Overview WM&R: Motivazioni e prospettive

Dettagli

Università degli Studi di Perugia Dipartimento di Matematica e Informatica. Corso di Laurea Magistrale in Informatica. CLASSE LM18 (Informatica)

Università degli Studi di Perugia Dipartimento di Matematica e Informatica. Corso di Laurea Magistrale in Informatica. CLASSE LM18 (Informatica) Università degli Studi di Perugia Dipartimento di Matematica e Informatica Corso di Laurea Magistrale in Informatica CLASSE LM18 (Informatica) Manifesto degli Studi A.A. 2015-2016 (Regolamento didattico

Dettagli

F O R M A T O E U R O P E O P E R

F O R M A T O E U R O P E O P E R F O R M A T O E U R O P E O P E R I L C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI Nome Indirizzo ARMANDO STERNIERI VIA SIROTTI, 19 42121 REGGIO EMILIA- ITALIA Telefono 0522/455141 Fax 0522/451382

Dettagli

LAUREA MAGISTRALE IN INGEGNERIA INFORMATICA

LAUREA MAGISTRALE IN INGEGNERIA INFORMATICA LAUREA MAGISTRALE IN INGEGNERIA INFORMATICA Obiettivi Formare futuri professionisti con ampie e solide competenze sulle tecnologie informatiche avanzate Fornire capacità di affrontare problemi complessi

Dettagli

Curriculum Vitae Scientifico

Curriculum Vitae Scientifico Curriculum Vitae Scientifico Marco Berardi Nome: Marco; cognome: Berardi; data di nascita: 11 settembre 1980; cittadinanza: italiana; stato civile: coniugato; uff.: Ricerche. stanza 60a, I piano, Istituto

Dettagli

CURRICULUM VITAE di Salvatore Gaglio

CURRICULUM VITAE di Salvatore Gaglio Salvatore Gaglio 1 CURRICULUM VITAE di Salvatore Gaglio LUOGO DI NASCITA: Agrigento DATA DI NASCITA: 11 aprile 1954 Posizioni attuali Professore ordinario di Intelligenza Artificiale (Sett. disc. ING-INF/05

Dettagli

Curriculum Vitae di ENRICO NARDELLI

Curriculum Vitae di ENRICO NARDELLI Curriculum Vitae di ENRICO NARDELLI (Versione Abbreviata) Ultimo Aggiornamento: 24 Febbraio 2011 1 Posizioni Enrico Nardelli si è laureato nel 1983 in Ingegneria Elettronica (110/110 con lode) presso l

Dettagli

- Prof. Roberto Battiti Ordinario di Informatica presso l Università di Trento;

- Prof. Roberto Battiti Ordinario di Informatica presso l Università di Trento; VERBALE DELLA SECONDA SEDUTA TENUTA DALLA COMMISSIONE GIUDICATRICE PER IL RECLUTAMENTO DI PROFESSORI ASSOCIATI MEDIANTE CHIAMATA DI CUI ALL'ART. 18 comma 1 e art. 24 comma 6, legge 240/10 PER IL SETTORE

Dettagli

Ing. Emanuela Guerriero Curriculum didattico scientifico

Ing. Emanuela Guerriero Curriculum didattico scientifico Ing. Emanuela Guerriero Curriculum didattico scientifico Curriculum vitae et studiorum Nata a Lecce il 03/08/1972; 1999 Laurea in Ingegneria Informatica, conseguita il 19/07/1999, presso l Università degli

Dettagli

Partecipazione ai progetti di ricerca annuali finanziati con Fondi di Ricerca di Ateneo, responsabile scientifico Prof. Riccardo Resciniti

Partecipazione ai progetti di ricerca annuali finanziati con Fondi di Ricerca di Ateneo, responsabile scientifico Prof. Riccardo Resciniti CURRICULUM VITAE INFORMAZIONI PERSONALI Nome: DONATELLA FORTUNA Indirizzo: via Avellino n. 18, 82100, Benevento Telefono: 3491450428 Email: donatella.fortuna@unisannio.it Data di nascita: 29/07/1976 Luogo

Dettagli

CURRICULUM SCIENTIFICO E DIDATTICO

CURRICULUM SCIENTIFICO E DIDATTICO CURRICULUM SCIENTIFICO E DIDATTICO INFORMAZIONI PERSONALI Cognome e Nome: MAZZU SEBASTIANO E-mail: s.mazzu@unict.it Nazionalità: ITALIANA Data e luogo di nascita: 27/11/1967 - BARCELLONA POZZO DI GOTTO

Dettagli

Curriculum Vitae. Attività di Ricerca

Curriculum Vitae. Attività di Ricerca Curriculum Vitae Elena Bellodi ha conseguito la laurea triennale con lode in Ingegneria Informatica e dell Automazione presso l Università di Ferrara nel 2007, e la laurea specialistica con lode ed encomio

Dettagli

Modina Silvio. Indirizzo VIA MOSCHINI, 17 37129 VERONA Telefono 045 8352075 348 3017886 silvio.modina@unimib.it

Modina Silvio. Indirizzo VIA MOSCHINI, 17 37129 VERONA Telefono 045 8352075 348 3017886 silvio.modina@unimib.it C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI Cognome e Nome E-mail Nazionalità Luogo e Data di nascita Codice Fiscale Modina Silvio Indirizzo VIA MOSCHINI, 17 37129 VERONA Telefono 045 8352075

Dettagli

CURRICULUM VITAE E DELL ATTIVITÀ SCIENTIFICA E DIDATTICA PROF. PAOLO ROFFIA NOTE BIOGRAFICHE

CURRICULUM VITAE E DELL ATTIVITÀ SCIENTIFICA E DIDATTICA PROF. PAOLO ROFFIA NOTE BIOGRAFICHE CURRICULUM VITAE E DELL ATTIVITÀ SCIENTIFICA E DIDATTICA PROF. PAOLO ROFFIA NOTE BIOGRAFICHE Nato a Mantova, il 05/07/1970 Dottore di ricerca in Economia Aziendale (PhD) XI ciclo, Università di Pisa, 1999.

Dettagli

Internet of Things, Big Data e Intelligenza Artificiale.

Internet of Things, Big Data e Intelligenza Artificiale. Oracle Ticino Day Lugano 26 Marzo 2015 Internet of Things, Big Data e Intelligenza Artificiale. Prof. Luca Maria Gambardella direttore IDSIA, istituto USI-SUPSI, Manno Le nuove sfide La società globale

Dettagli

CURRICULUM VITAE LEONARDO RIGUTINI

CURRICULUM VITAE LEONARDO RIGUTINI CURRICULUM VITAE LEONARDO RIGUTINI Ufficio Dipartimento Ingegneria dell Informazione Universit di Siena Via Roma, 56-53100 Siena (SI) Fax: 0577 233602 e mail: rigutini@dii.unisi.it Casa Via Dei Grifoni

Dettagli

Attenzione! il valore della Rimodulazione è superiore alla cifra di Negoziazione

Attenzione! il valore della Rimodulazione è superiore alla cifra di Negoziazione Riepilogo Dipartimento ICT Dipartimento ICT nel 2005 diretta nel terzi fondi diretta Reti in Tecnologia Wireless 434.890 79.788 712.457 94.953 578.280 351.500 94.000 Internet di prossima generazione 639.484

Dettagli

Università di Pisa Facoltà di Scienze Matematiche Fisiche e Naturali

Università di Pisa Facoltà di Scienze Matematiche Fisiche e Naturali Facoltà di Scienze Matematiche Fisiche e Naturali Corso di Laurea Specialistica in Informatica (classe 23/S: Informatica) Corso di Laurea Specialistica in Tecnologie Informatiche (classe 23/S: Informatica)

Dettagli

Curriculum vitae sintetico Prof. Fabio Donato

Curriculum vitae sintetico Prof. Fabio Donato Curriculum vitae sintetico Prof. Fabio Donato Ordinario di Economia Aziendale Dipartimento di Economia e Management Università di Ferrara Percorso Universitario Dal 1 Novembre 2012, Vice Direttore del

Dettagli

RELAZIONE RIASSUNTIVA

RELAZIONE RIASSUNTIVA Procedura di selezione per un posto di ruolo di Seconda Fascia da ricoprire mediante chiamata, ai sensi dell articolo 18, comma 1, della Legge 30 dicembre 2010, numero 240 - Dipartimento di Ingegneria

Dettagli

Scuola di Scienze e Tecnologie

Scuola di Scienze e Tecnologie Scuola di Scienze e Tecnologie corso di laurea magistrale Matematica e applicazioni in lingua inglese in convenzione internazionale con l Università di Clausthal (Germania) LM-40 +2 anni sede UNICAM: Camerino

Dettagli

CURRICULUM VITAE ET STUDIORUM FABIO SCOTTI

CURRICULUM VITAE ET STUDIORUM FABIO SCOTTI CURRICULUM VITAE ET STUDIORUM DI FABIO SCOTTI 30 Ottobre 2003 Indice Dati anagrafici e stato di servizio 1 Attività di ricerca 2 Attività didattiche 3 Pubblicazioni 4 1. DATI ANAGRAFICI E STATO DI SERVIZIO

Dettagli

Corso di Laurea in Informatica

Corso di Laurea in Informatica Università degli Studi di Parma Dipartimento di Matematica e Informatica Corso di Laurea in Informatica Laurea di primo livello Classe L-31 Scienze e Tecnologie Informatiche (studenti immatricolati negli

Dettagli

PROGETTO NAZIONALE DI TIPO INTERUNIVERSITARIO MODELLO A

PROGETTO NAZIONALE DI TIPO INTERUNIVERSITARIO MODELLO A DIPARTIMENTO PER L'UNIVERSITÀ, L'ALTA FORMAZIONE ARTISTICA, MUSICALE E COREUTICA E PER LA RICERCA SCIENTIFICA E TECNOLOGICA PROGETTO LAUREE SCIENTIFICHE RICHIESTA DI COFINANZIAMENTO (DM n. del ) PROGETTO

Dettagli

SCHEDA PROGRAMMA INSEGNAMENTI A.A. 2012/2013

SCHEDA PROGRAMMA INSEGNAMENTI A.A. 2012/2013 SCHEDA PROGRAMMA INSEGNAMENTI A.A. 2012/2013 CORSO DI LAUREA IN Beni Culturali Insegnamento: Applicazioni informatiche all archeologia Docente Giuliano De Felice S.S.D. dell insegnamento L-ANT/10 Anno

Dettagli

LABORATORIO DI APPLICAZIONI DELL INTELLIGENZA ARTIFICIALE Responsabile scientifico: Prof. Giovambattista Ianni

LABORATORIO DI APPLICAZIONI DELL INTELLIGENZA ARTIFICIALE Responsabile scientifico: Prof. Giovambattista Ianni LABORATORIO DI APPLICAZIONI DELL INTELLIGENZA ARTIFICIALE Responsabile scientifico: Prof. Giovambattista Ianni Il Laboratorio di Applicazioni dell Intelligenza Artificiale (LAIA) si propone di fornire

Dettagli

ALLEGATO 1 AL VERBALE N. 6

ALLEGATO 1 AL VERBALE N. 6 PROCEDURA DI VALUTAZIONE COMPARATIVA PER LA COPERTURA DI N. 1 POSTO DI RICERCATORE UNIVERSITARIO PER IL SETTORE SCIENTIFICO-DISCIPLINARE ING- INF/05, FACOLTA DI INGEGNERIA DELL UNIVERSITA DELLA CALABRIA,

Dettagli

Paolo Zalera CURRICULUM ATTIVITA SCIENTIFICA E DIDATTICA CURRICULUM ATTIVITA SCIENTIFICA E DIDATTICA PAOLO ZALERA

Paolo Zalera CURRICULUM ATTIVITA SCIENTIFICA E DIDATTICA CURRICULUM ATTIVITA SCIENTIFICA E DIDATTICA PAOLO ZALERA CURRICULUM ATTIVITA SCIENTIFICA E DIDATTICA PAOLO ZALERA Nato a Parma il 20 ottobre 1965 Residente in Parma - Via Catalani, 11 Codice fiscale ZLRPLA65R20G337V DOTTORE COMMERCIALISTA E REVISORE CONTABILE

Dettagli

Acquisite nel corso della vita e della carriera ma non necessariamente riconosciute da certificati e diplomi ufficiali

Acquisite nel corso della vita e della carriera ma non necessariamente riconosciute da certificati e diplomi ufficiali Il 6 aprile 1993: conseguito il Diploma di laurea in Economia Aziendale con il punteggio di 110/110 e lode. CAPACITÀ E COMPETENZE PERSONALI Acquisite nel corso della vita e della carriera ma non necessariamente

Dettagli

Fabio Raciti. Curriculum vitae et studiorum

Fabio Raciti. Curriculum vitae et studiorum Fabio Raciti. Curriculum vitae et studiorum Indice 1. Campi di ricerca 2 2. Titoli di studio, corsi di perfezionamento, borse di studio e posizione professionale 2 3. Attività didattica 3 4. Attività di

Dettagli

G I A N L U C A C A S S E S E

G I A N L U C A C A S S E S E G I A N L U C A C A S S E S E DIPARTIMENTO DI STATISTICA Università Milano Bicocca U7-2081, via Bicocca degli Arcimboldi, 8, 20126 Milano - Italy DATI ANAGRAFICI E INFORMAZIONI GENERALI: Luogo e data di

Dettagli

SCHOOL LEADERSHIP AND MANAGEMENT 1^ EDIZIONE NOVEMBRE 2015 APRILE 2016

SCHOOL LEADERSHIP AND MANAGEMENT 1^ EDIZIONE NOVEMBRE 2015 APRILE 2016 SCHOOL LEADERSHIP AND MANAGEMENT 1^ EDIZIONE NOVEMBRE 2015 APRILE 2016 IPRASE propone in collaborazione con la Graduate School of Business del Politecnico di Milano, un percorso per i Dirigenti scolastici

Dettagli

MINISTERO DELL'ISTRUZIONE, DELL'UNIVERSITÀ E DELLA RICERCA

MINISTERO DELL'ISTRUZIONE, DELL'UNIVERSITÀ E DELLA RICERCA MINISTERO DELL'ISTRUZIONE, DELL'UNIVERSITÀ E DELLA RICERCA 1. Informazioni generali Corso di Dottorato Il corso è: Rinnovo di corso attivo nel 14/15 Denominazione a.a. 2014/2015 Cambio Titolatura? INFORMATICA

Dettagli

Visione Computazionale

Visione Computazionale Il docente Visione Computazionale Introduzione al corso a.a. 2004/2005 Andrea FUSIELLO, Professore Associato Dip. Informatica, Ca Vignal 2, I piano, stanza 5 Email: andrea.fusiello@univr.it Web Page del

Dettagli

I progetti di ricerca del Dipartimento

I progetti di ricerca del Dipartimento Università di Pisa Dipartimento di Informatica I progetti di ricerca del Dipartimento Pisa, 12 13 giugno 2003 Progetti di ricerca Mix di progetti in essenziale alla luce dell evoluzione delle tecnologie

Dettagli

Applicazioni in ambito biomedico e socio-sanitario di problemi inversi di grande complessità. Prof. Luca Zanni

Applicazioni in ambito biomedico e socio-sanitario di problemi inversi di grande complessità. Prof. Luca Zanni Applicazioni in ambito biomedico e socio-sanitario di problemi inversi di grande complessità Prof. Luca Zanni APPLICAZIONI IN AMBITO BIOMEDICO E SOCIO-SANITARIO DI PROBLEMI INVERSI DI GRANDECOMPLESSITÀ

Dettagli

INGEGNERIA INFORMATICA E ROBOTICA CORSO DI LAUREA MAGISTRALE

INGEGNERIA INFORMATICA E ROBOTICA CORSO DI LAUREA MAGISTRALE INGEGNERIA INFORMATICA E ROBOTICA CORSO DI LAUREA MAGISTRALE Obiettivo didattico CORSO DI LAUREA MAGISTRALE IN INGEGNERIA INFORMATICA E ROBOTICA Il corso di Laurea Magistrale in Ingegneria Informatica

Dettagli

ATTIVITÀ SCIENTIFICA Prof. ing. Leonarda CARNIMEO

ATTIVITÀ SCIENTIFICA Prof. ing. Leonarda CARNIMEO ATTIVITÀ SCIENTIFICA Prof. ing. Leonarda CARNIMEO Nella propria attività di ricerca la prof. Leonarda Carnimeo collabora con Docenti e Ricercatori appartenenti ad altre sedi universitarie in vari Programmi

Dettagli

Domenico Soldo Ingegnere

Domenico Soldo Ingegnere Curriculum VITÆ Novembre 2010 Domenico Soldo Dati personali Nome Cognome Data di nascita Indirizzo abitazione E-mail P. IVA Domenico Soldo 21/03/1983 Viale Liguria, 60, 74121, Taranto, Italy d.soldo@aeflab.net

Dettagli

FACOLTA DI ECONOMIA CORSO DI LAUREA MAGISTRALE IN SCIENZE DELL ECONOMIA. Classe LM-56 Insegnamento di STATISTICA ECONOMICA

FACOLTA DI ECONOMIA CORSO DI LAUREA MAGISTRALE IN SCIENZE DELL ECONOMIA. Classe LM-56 Insegnamento di STATISTICA ECONOMICA FACOLTA DI ECONOMIA CORSO DI LAUREA MAGISTRALE IN SCIENZE DELL ECONOMIA Classe LM-56 Insegnamento di STATISTICA ECONOMICA SSD:SECS-S/03 CFU 9 A.A. 2014-2015 Docente: Prof. GABRIELE SERAFINI E-mail: gabriele.serafini@unicusano.it

Dettagli

F O R M A T O E U R O P E O P E R I L C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI PASQUALE D'ANDRETI. Nome

F O R M A T O E U R O P E O P E R I L C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI PASQUALE D'ANDRETI. Nome F O R M A T O E U R O P E O P E R I L C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI Nome PASQUALE D'ANDRETI Telefono +39-0776-2993348 Fax +39-0776-299-3908 E-mail dandreti@unicas.it Nazionalità

Dettagli

Curriculum Valerio Lacagnina Dati personali Data di nascita: 05 maggio 1966 Luogo di nascita: Palermo Titoli di studio (1998) Dottore di Ricerca in "Scienze Finanziarie per l'impresa", sede amministrativa

Dettagli

Curriculum dell attività scientifica e professionale di Marina Popolizio

Curriculum dell attività scientifica e professionale di Marina Popolizio Curriculum dell attività scientifica e professionale di Marina Popolizio Titoli di Studio - Dottorato di Ricerca in Matematica conseguito presso l Università degli Studi di Bari in data 28-03-2008. Titolo

Dettagli

CURRICULUM VITAE INFORMAZIONI PERSONALI. Casullo Fabiola Data di nascita 07/04/1961. Amministrazione ASL AVELLINO (EX ASL 1 e 2)

CURRICULUM VITAE INFORMAZIONI PERSONALI. Casullo Fabiola Data di nascita 07/04/1961. Amministrazione ASL AVELLINO (EX ASL 1 e 2) INFORMAZIONI PERSONALI Nome Casullo Fabiola Data di nascita 07/04/1961 Qualifica I Fascia Amministrazione ASL AVELLINO (EX ASL 1 e 2) Incarico attuale Numero telefonico dell ufficio Dirigente - UOC SIA

Dettagli

Curriculum di Jeremy James SPROSTON

Curriculum di Jeremy James SPROSTON Studi Curriculum di Jeremy James SPROSTON 1996-2001: PhD in Computer Science, School of Computer Science dell Università di Birmingham, Regno Unito, con tesi: Model Checking of Probabilistic Timed and

Dettagli

Corso di Laurea in Informatica. Manifesto degli Studi A.A. 2015-2016 (Regolamento didattico 2014)

Corso di Laurea in Informatica. Manifesto degli Studi A.A. 2015-2016 (Regolamento didattico 2014) Università degli Studi di Perugia Dipartimento di Matematica e Informatica Corso di Laurea in Informatica CLASSE L-31 (Lauree in Scienze e Tecnologie Informatiche) Manifesto degli Studi A.A. 2015-2016

Dettagli

Facoltà di Scienze e Tecnologie Informatiche

Facoltà di Scienze e Tecnologie Informatiche Facoltà di Scienze e Tecnologie Informatiche Corso di dottorato in COMPUTER SCIENCE (Informatica) Sito web del Corso: http://www.unibz.it/en/inf/progs/phdcs/default.html Durata: 3 anni Anno accademico:

Dettagli

Un analisi della VQR04-10. A cura di P. Ciancarini, membro GEV area1 Riunione GRIN Milano, 20 novembre 2013

Un analisi della VQR04-10. A cura di P. Ciancarini, membro GEV area1 Riunione GRIN Milano, 20 novembre 2013 Un analisi della VQR04-10 A cura di P. Ciancarini, membro GEV area1 Riunione GRIN Milano, 20 novembre 2013 Agenda Il passato: come è stata impostata la VQR2004-2010 Il presente: analisi e conseguenze dei

Dettagli

Modina Silvio. silvio.modina@unimib.it FIRENZE, 11 FEBBRAIO 1959 MDN SLV 59B11 D612B

Modina Silvio. silvio.modina@unimib.it FIRENZE, 11 FEBBRAIO 1959 MDN SLV 59B11 D612B CURRICULUM VITAE INFORMAZIONI PERSONALI Cognome e Nome Indirizzo Modina Silvio VIA MOSCHINI, 17 37129 VERONA E-mail Nazionalità Luogo e Data di nascita Codice Fiscale silvio.modina@unimib.it ITALIANA FIRENZE,

Dettagli

Studio e implementazione di un OCR per auto-tele-lettura dei contatori di gas e acqua

Studio e implementazione di un OCR per auto-tele-lettura dei contatori di gas e acqua POLITECNICO DI MILANO Corso di Laurea in Ingegneria Informatica Dipartimento di Elettronica e Informazione Studio e implementazione di un OCR per auto-tele-lettura dei contatori di gas e acqua AI & R Lab

Dettagli

Università degli Studi di Udine

Università degli Studi di Udine Angelo Montanari e nato il 14 novembre 1962. Posizioni accademiche correnti Intervallo: 2005-ora Posizione: professore ordinario di Informatica Organizzazione: Dipartimento di Matematica e Informatica,

Dettagli

Pag 1 di 41. BUSACCA Alessandro

Pag 1 di 41. BUSACCA Alessandro BUSACCA Alessandro Giudizio del Prof. Castagnolo Il candidato ha svolto un attività di ricerca di buon livello ed arricchita da periodi di ricerca all estero, come testimoniato dalla produzione scientifica.

Dettagli

Curriculum vitae del prof. Nicola Mazzocca

Curriculum vitae del prof. Nicola Mazzocca Curriculum vitae del prof. Nicola Mazzocca Attuale posizione accademica Nicola Mazzocca è professore ordinario di Sistemi di Elaborazione (settore ING INF/05) presso il Dipartimento di Informatica e Sistemistica

Dettagli

Corso di Web Mining e Retrieval

Corso di Web Mining e Retrieval Corso di Web Mining e Retrieval (a.a. 2011-2012) Roberto Basili 1 Obbiettivi del Corso Introduzione alle nozioni di base per l accesso alle informazione distribuita Componente Fondazionale: Problemi di

Dettagli

Dirigente - Ufficio del Giudice di Pace di Cagliari

Dirigente - Ufficio del Giudice di Pace di Cagliari INFORMAZIONI PERSONALI Nome Martini Paola Data di nascita 13/08/1973 Qualifica Amministrazione Incarico attuale Numero telefonico dell ufficio II Fascia MINISTERO DELLA GIUSTIZIA Dirigente - Ufficio del

Dettagli

Regolamento Didattico del Corso di laurea in Informatica applicata

Regolamento Didattico del Corso di laurea in Informatica applicata Curricula Regolamento Didattico del Corso di laurea in applicata La Facoltà di Scienze e Tecnologie informatiche della Libera Università di Bolzano offre un Corso di laurea in applicata. In conformità

Dettagli

F O R M A T O E U R O P E O P E R I L C U R R I C U L U M V I T A E

F O R M A T O E U R O P E O P E R I L C U R R I C U L U M V I T A E F O R M A T O E U R O P E O P E R I L C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI Nome ANISETTI MARCO Indirizzo Vicolo Piave 7 26010 Pianengo (Cr) Telefono 328-7016227 Fax E-mail marco.anisetti@unimi.it

Dettagli

Curriculum Vitae et Studiorum Caterina Stoppato

Curriculum Vitae et Studiorum Caterina Stoppato Curriculum Vitae et Studiorum Caterina Stoppato Informazioni personali Nome Caterina Stoppato Data e luogo di nascita 14 novembre 1982, Firenze Nazionalità italiana e statunitense Stato civile sposata

Dettagli

Allegato V - Modello per la Presentazione dei Programmi di Tirocini/Stage 1

Allegato V - Modello per la Presentazione dei Programmi di Tirocini/Stage 1 Allegato V - Modello per la Presentazione dei Programmi di Tirocini/Stage 1 Consorzio 21 Edificio 2- Polaris Programma Master and Back Loc. Piscina Manna 09010 Pula 1. Soggetto Proponente (Operante in

Dettagli

Percorso Video Game. Percorsi per la Laurea Magistrale in Informatica. Obiettivi generali. Sbocchi professionali

Percorso Video Game. Percorsi per la Laurea Magistrale in Informatica. Obiettivi generali. Sbocchi professionali Percorsi per la Laurea Magistrale in Informatica Percorso Video Game Docenti di riferimento: Dr. Dario Maggiorini, Dr. Laura Anna Ripamonti Sede di erogazione: Milano Obiettivi generali Il mercato dei

Dettagli

Curriculum Vitae di Paola Boito

Curriculum Vitae di Paola Boito Curriculum Vitae di Paola Boito Dati anagrafici e personali Data e luogo di nascita: 1/8/1978, Asolo (TV). Cittadinanza italiana. E-mail: boito@mathcs.emory.edu boito@mail.dm.unipi.it Homepage: http://www.mathcs.emory.edu/~boito

Dettagli

CURRICULUM VITAE di PAOLA RUBBIONI

CURRICULUM VITAE di PAOLA RUBBIONI CURRICULUM VITAE di PAOLA RUBBIONI DATI ANAGRAFICI Nome: PAOLA RUBBIONI Luogo e data di nascita: Perugia, 16.09.1968 Nazionalità: italiana Stato civile: coniugata CURRICULUM STUDIORUM ed ITER LAVORATIVO

Dettagli

Corsi di Laurea in Scienze e Tecnologie Informatiche

Corsi di Laurea in Scienze e Tecnologie Informatiche Corsi di Laurea in Scienze e Tecnologie Informatiche Carla Piazza Facoltà di Scienze Matematiche Fisiche e Naturali Università degli Studi di Udine www.dimi.uniud.it/piazza/salone_studente_2012.pdf Corsi

Dettagli

INFORMAZIONI PERSONALI

INFORMAZIONI PERSONALI CURRICULUM VITAE INFORMAZIONI PERSONALI Nome Ravera Mario e-mail mario_ravera@fastwebnet.it Nazionalità Italiana Data di nascita 04/10/1969 ESPERIENZA LAVORATIVA Esperienze professionali (incarichi ricoperti)

Dettagli

Professore Ordinario Facoltà di Medicina e chirurgia Università degli Studi di Siena - Italia. Università degli Studi di Siena

Professore Ordinario Facoltà di Medicina e chirurgia Università degli Studi di Siena - Italia. Università degli Studi di Siena Curriculum Vitae Europass Informazioni personali Nome / Cognome Alessandro Rossi Indirizzo(i) Via Alcide De Gasperi, 1 53100 Siena - Italia Telefono(i) 0577/233484 0577/585768 Cellulare: 3201435964 Fax

Dettagli

Formazione, attività scientifica e/o professionale

Formazione, attività scientifica e/o professionale IDA DE BONIS NATA A FONDI l'8/11/1985 Formazione, attività scientifica e/o professionale Titoli accademici e altri titoli Diploma di maturità classica con indirizzo piano nazionale informatico (PNI), c/o

Dettagli

lcosmo@dsi.unive.it Computer Vision, in particolare Nonrigid Matching.

lcosmo@dsi.unive.it Computer Vision, in particolare Nonrigid Matching. F ORMATO EUROPEO PER IL CURRICULUM VITAE INFORMAZIONI PERSONALI Nome COSMO LUCA Indirizzo 6, VIA ACHILLE GRANDI, 31038 PAESE, TREVISO, ITALIA Telefono +39 349 1580861 E-mail lcosmo@dsi.unive.it Nazionalità

Dettagli

È possibile caratterizzare un percorso formativo per gli studenti sulla base di due aree di specializzazione (indirizzi):

È possibile caratterizzare un percorso formativo per gli studenti sulla base di due aree di specializzazione (indirizzi): Percorsi per la Laurea Magistrale in Informatica Percorso Video Game Docenti di riferimento: Dario Maggiorini, Laura Anna Ripamonti Sede di erogazione: Milano LIKE THIS! Obiettivi generali Il mercato dei

Dettagli

CURRICULUM VITAE ET STUDIORUM. nascita: Roma, 5 febbraio 1960; e-mail ciarrapico@med.uniroma2.it; annamica@tiscali.it

CURRICULUM VITAE ET STUDIORUM. nascita: Roma, 5 febbraio 1960; e-mail ciarrapico@med.uniroma2.it; annamica@tiscali.it CURRICULUM VITAE ET STUDIORUM Nome : CIARRAPICO Anna Micaela Note anagrafiche e recapito nascita: Roma, 5 febbraio 1960; e-mail ciarrapico@med.uniroma2.it; annamica@tiscali.it Posizione attuale Altri Incarichi

Dettagli

Massimo Matthias Professore a contratto - Università degli Studi di Siena Consulente Aziendale

Massimo Matthias Professore a contratto - Università degli Studi di Siena Consulente Aziendale Massimo Matthias Professore a contratto - Università degli Studi di Siena Consulente Aziendale CURRICULUM VITAE FORMAZIONE Laurea in Economia e Commercio conseguita presso l Università degli Studi La Sapienza

Dettagli

REGOLAMENTO DIDATTICO DEL CORSO DI LAUREA SPECIALISTICA IN FINANZA (19/S - Classe delle lauree specialistiche in finanza)

REGOLAMENTO DIDATTICO DEL CORSO DI LAUREA SPECIALISTICA IN FINANZA (19/S - Classe delle lauree specialistiche in finanza) REGOLAMENTO DIDATTICO DEL CORSO DI LAUREA SPECIALISTICA IN FINANZA (19/S - Classe delle lauree specialistiche in finanza) Articolo 1 Denominazione del Corso di Laurea Specialistica e classe di appartenenza

Dettagli

Corso di Laurea in Informatica. Manifesto degli Studi A.A. 2012-2013 (Regolamento didattico 2011)

Corso di Laurea in Informatica. Manifesto degli Studi A.A. 2012-2013 (Regolamento didattico 2011) Università degli Studi di Perugia Facoltà di Scienze Matematiche Fisiche e Naturali Corso di Laurea in Informatica CLASSE L-31 (Lauree in Scienze e Tecnologie Informatiche) Manifesto degli Studi A.A. 2012-2013

Dettagli

FACOLTA DI ECONOMIA CORSO DI LAUREA TRIENNALE IN ECONOMIA AZIENDALE E MANAGEMENT. Classe L-18 Insegnamento di STATISTICA

FACOLTA DI ECONOMIA CORSO DI LAUREA TRIENNALE IN ECONOMIA AZIENDALE E MANAGEMENT. Classe L-18 Insegnamento di STATISTICA FACOLTA DI ECONOMIA CORSO DI LAUREA TRIENNALE IN ECONOMIA AZIENDALE E MANAGEMENT Classe L-18 Insegnamento di STATISTICA SSD:SECS-S/01 CFU 6 A.A. 2014-2015 Docente: Prof. GABRIELE SERAFINI E-mail: gabriele.serafini@unicusano.it

Dettagli

Candidato Domenico Cotroneo

Candidato Domenico Cotroneo VALUTAZIONE COMPARATIVA PER LA COPERTURA DI N.1 POSTO DI PROFESSORE UNIVERSITARIO DI RUOLO DI SECONDA FASCIA PER IL SETTORE SCIENTIFICO-DISCIPLINARE ING-INF/05 DELLA FACOLTA' DI INGEGNERIA DELL'UNIVERSITA'

Dettagli

F O R M A T O E U R O P E O

F O R M A T O E U R O P E O F O R M A T O E U R O P E O P E R I L C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI Nome Indirizzo SAVERIO SALERNO UNIVERSITÀ DEGLI STUDI DI SALERNO FACOLTÀ DI INGEGNERIA DIPARTIMENTO DI INGEGNERIA

Dettagli

CURRICULUM VITAE INFORMAZIONI PERSONALI ESPERIENZE PROFESSIONALI. Principali attività e responsabilità

CURRICULUM VITAE INFORMAZIONI PERSONALI ESPERIENZE PROFESSIONALI. Principali attività e responsabilità CURRICULUM VITAE INFORMAZIONI PERSONALI Nome / Cognome FABRIZIO COSSU ESPERIENZE PROFESSIONALI Date (da - a) 10/2013 - oggi JTJ - Jump Traffic Jam. Le attività di ricerca e sviluppo sperimentale all interno

Dettagli

NVivo 7 Workshop July 14th 2007 presso International Institute of Qualitative Methodology IIQM, University of Alberta, Edmonton, AB, Canada.

NVivo 7 Workshop July 14th 2007 presso International Institute of Qualitative Methodology IIQM, University of Alberta, Edmonton, AB, Canada. Luca Ghirotto, Ph.D. Formazione accademica 2008 Curriculum scientifico, professionale e formativo Dottorato in Scienze della Cognizione e della Formazione, conseguito il 10/12/08 presso il Dipartimento

Dettagli

I FORMATORI ITALIANI. Direzione Generale per gli Affari Internazionali ASSISTENTI DI LINGUA INGLESE WORKSHOPS Torino, 28-29 settembre 2013

I FORMATORI ITALIANI. Direzione Generale per gli Affari Internazionali ASSISTENTI DI LINGUA INGLESE WORKSHOPS Torino, 28-29 settembre 2013 Direzione Generale per gli Affari Internazionali ASSISTENTI DI LINGUA INGLESE WORKSHOPS Torino, 28-29 settembre 2013 I FORMATORI ITALIANI CASCIATO Fiorella Coordinatrice MIUR delle attività formative Docente

Dettagli

GRIN - Associazione Italiana dei Docenti Universitari di Informatica

GRIN - Associazione Italiana dei Docenti Universitari di Informatica Certificazione bollino GRIN per i corsi di Laurea in Informatica versione beta 2016 N.B.: Sono in evidenza le variazioni rispetto alla versione standard 2015. 1. Requisiti per la certificazione bollino

Dettagli

Stefano Bistarelli Dipartimento di Matematica e Informatica Università degli Studi di Perugia

Stefano Bistarelli Dipartimento di Matematica e Informatica Università degli Studi di Perugia Stefano Bistarelli Dipartimento di Matematica e Informatica Università degli Studi di Perugia CURRICULUM BREVE Stefano Bistarelli, laureato con lode in Scienze dell Informazione presso l università di

Dettagli

Regolamento Didattico del Corso di Laurea in Informatica

Regolamento Didattico del Corso di Laurea in Informatica Regolamento Didattico del Corso di Laurea in Informatica Titolo I - Istituzione ed attivazione Art. 1 - Informazioni generali 1. Il presente Regolamento didattico si riferisce al Corso di Laurea in Informatica,

Dettagli

Laurea Magistrale in. Stochastics and Data Science

Laurea Magistrale in. Stochastics and Data Science Laurea Magistrale in Stochastics and Data Science Dati e decisioni: la sfida della società moderna For Today s Graduate, Just One Word: Statistics E. Brynjolfsson, MIT Center for Digital Business Director,

Dettagli

UNIVERSITÀ DEGLI STUDI DI FERRARA MANIFESTO DEGLI STUDI ANNO ACCADEMICO

UNIVERSITÀ DEGLI STUDI DI FERRARA MANIFESTO DEGLI STUDI ANNO ACCADEMICO UNIVERSITÀ DEGLI STUDI DI FERRARA MANIFESTO DEGLI STUDI ANNO ACCADEMICO 2001/2002 Corso di laurea in MATEMATICA APPLICATA Classe 32 : Scienze Matematiche NUOVA ORGANIZZAZIONE DIDATTICA Le novità contenute

Dettagli

ROBERTA LARASPATA. Phone: +39 0805963312 E-mail: roberta.laraspata@gmail.com

ROBERTA LARASPATA. Phone: +39 0805963312 E-mail: roberta.laraspata@gmail.com ROBERTA LARASPATA Phone: +39 0805963312 E-mail: roberta.laraspata@gmail.com FORMAZIONE Febbraio 2011 Ottobre 2007 Maggio 2007 Dottorato di Ricerca in Ingegneria dell Informazione Titolo della Tesi di Dottorato:

Dettagli

Computazione Naturale AA. 2011-2012

Computazione Naturale AA. 2011-2012 Computazione Naturale AA. 2011-2012 Prof. Mario Pavone CdL Magistrale in Informatica Dip. Matematica ed Informatica mpavone@dmi.unict.it http://www.dmi.unict.it/mpavone/ INDICE Obiettivi formativi Cos

Dettagli

Breve Sintesi della Progettazione del Corso

Breve Sintesi della Progettazione del Corso Breve Sintesi della Progettazione del Corso I docenti dei settori scientifico-disciplinari ING/INF05 (settore caratterizzante sia la classe LM-32 che quella LM-18) e INF/01 (settore caratterizzante la

Dettagli