Salta ai contenuti. | Salta alla navigazione

Strumenti personali

Posizione Attuale


Professore Associato 09/H1 (Sistemi di elaborazione delle informazioni) presso il Dipartimento di Ingegneria, Università di Ferrara, dal 1 Ottobre 2014.


Biografia in sintesi



  • Nato a Bologna il 15 Giugno 1971
  • Luglio 1990: Diploma di Perito Tecnico Industriale Informatico presso l'Istituto "Nullo Baldini" di Ravenna, con votazione 60/60
  • 18 Marzo 1998: Laurea in Ingegneria Informatica indirizzo "Sistemi ed Applicazioni Informatici" presso l'Università degli Studi di Bologna con votazione 99/100.
  • Maggio - Agosto 1998: lavora per Akros Informatica S.r.l., via Sergio Cavina 7, 48100 nel ruolo di programmatore.
  • Novembre 1998: Superamento esame di ammissione al corso di Dottorato di ricerca in Ingegneria dell'Informazione (XIV Ciclo) congiunto fra le università di Modena e Reggio Emilia e di Ferrara
  • Giugno - Dicembre 2001: periodo di studio all'estero, nell'ambito del terzo anno di dottorato, presso IC-Parc, Imperial College, Londra.
  • Gennaio 2002: superamento concorso per l'attribuzione di una borsa di Formazione alla Ricerca
  • 22 Gennaio 2002: Superamento esame finale per il conseguimento del titolo di Dottore di Ricerca
  • 2003: assegno di ricerca presso l'Università di Ferrara con titolo della ricerca "Progetto, realizzazione e sperimentazione di nuove tecniche basate su soddisfacimento di vincoli per problemi di ottimizzazione".
  • 2003: Corso ufficiale di Fondamenti di Informatica I per Ingegneria Informatica, Elettronica e delle Telecomunicazioni presso la Facoltà di Ingegneria dell'Università di Ferrara
  • 2004: Vince un concorso da ricercatore presso l'Università di Ferrara.
    Prende servizio come ricercatore non confermato ING-INF/05 (Sistemi di elaborazione delle informazioni) presso il Dipartimento di Ingegneria, Università di Ferrara il 27 Dicembre 2004.
  • 3 dicembre 2013: ottiene l'abilitazione scientifica nazionale di seconda fascia
  • 1 Ottobre 2014: prende servizio come Professore Associato.


Formazione


Marco Gavanelli si è laureato presso l'Università degli Studi di Bologna con voto 99/100 il 18 Marzo 1998.


Nel 1999 ha vinto una borsa di studio per il dottorato di ricerca presso l'Università di Modena e Reggio Emilia, per il corso di ``Ingegneria dell'Informazione'' XIV ciclo. Titolo ottenuto nel 2002.


Nel 2002 ha vinto una borsa di formazione alla ricerca inquadrata nel contratto n. IST-2001-32530 stipulato dall'Università degli Studi di Ferrara con la Commissione Europea, avente ad oggetto la ricerca dal titolo "A computational logic model for the description, analysis and verification of global and open societies of heterogeneous computees" e precisamente: "Definizione, progetto, realizzazione e testing di architetture ad agenti basati su logica computazionale, utilizzando in particolare sistemi di Constraint Logic Programming e altre estensioni del Logic Programming".


Nel 2003 ha vinto un assegno di ricerca presso l'Università di Ferrara con titolo della ricerca "Progetto, realizzazione e sperimentazione di nuove tecniche basate su soddisfacimento di vincoli per problemi di ottimizzazione".

Ricerca


Progetti



  • Ha fatto parte del progetto COFIN Agenti Intelligenti: Interazione e Acquisizione di Conoscenza.
  • Ha ottenuto un finanziamento per il Progetto Giovani Ricercatori intitolato Proposta ed analisi di algoritmi per Problemi di Soddisfacimento di Vincoli con priorità fra le soluzioni data da ordinamenti parziali.
  • Finanziamento ``Programma di scambi internazionali per la mobilità di breve durata (Short-Term Mobility)'' del CNR, 2001.
  • Progetto europeo ``SOCS: Society of Computees'' UE IST-2001-32530 dell'Information Society Technologies programme della Comunità Europea, nel contesto dell'iniziativa Global Computing dell'iniziativa FET (Future and Emerging Technologies). 2001-2005
  • Progetto MIUR COFIN (National project): ``La Gestione e la negoziazione automatica dei diritti sulle opere dell'ingegno digitali: aspetti giuridici e informatici''.
  • Progetto MIUR PRIN 2005 n.2005-015491: ``Vincoli e preferenze come formalismo unificante per l'analisi di sistemi informatici e la soluzione di problemi reali''
  • Progetto per la realizzazione del Tecnopolo di Ferrara regolato da convenzione per l'attuazione dell'Attività I.1.1 del POR FESR 2007 - 2013 ``Creazione di Tecnopoli per la ricerca industriale e il trasferimento Tecnologico'' tra la Regione Emilia-Romagna e l'Università degli Studi di Ferrara.
  • Coordinatore dell'unità di Ferrara nel progetto europeo ``e-Policy: Engineering the POlicy-making LIfe Cycle'' del 7 programma quadro. Theme ICT-7-5.6 (ICT solutions for governance and policy modelling). Grant agreement no.: 288147.
    Il progetto è stato vautato Excellent dalla Commissione Europea (''the project has fully achieved its objectives and technical goals for the period and has even exceeded expectations'')


Seminari e relazioni invitate


È stato invitato a tenere i seguenti seminari:

  • Compliance verification of interaction protocols through abduction, in J. Dix, T. Eiter, and E. Franconi editors, Logic Based Information Agents, Schloss Dagstuhl, Aprile 2004.
  • Specifica e verifica dell'interazione fra agenti usando SOCS-SI, insieme a Federico Chesani, al workshop CILC 2005 (Convegno Italiano di Logica Computazionale).
  • Specification and Verification of Agent Interaction Using Computational Logic: the tool SOCS-SI, insieme a Federico Chesani, al workshop internazionale CLIMA VI.
  • Conferencia Magistral ``Constraint Satisfaction Problems'' nel congresso CONAIS 2010, Villahermosa, Tabasco, Mexico, 24 settembre 2010.
  • Optimal Valve Placement in Water Distribution Networks with CLP(FD) at the 23rd International Joint Conference on Artificial Intelligence (IJCAI-13), August 3-9, 2013, Beijing, China (per un lavoro svolto insieme a Massimiliano Cattafi, Maddalena Nonato, Stefano Alvisi e Marco Franchini).


Collaborazioni internazionali




  • Durante il 2001, ha trascorso un periodo di 6 mesi presso IC-Parc, Imperial College, Londra in qualità di Academic Visitor.


Organizzazione di eventi e coordinamento




  • RCRA 2005 Giornatata di lavoro ``Analisi sperimentale e benchmark di algoritmi per l'Intelligenza Artificiale'', Ferrara, 10 Giugno 2005. Una selezione degli atti della giornata è stata pubblicata sulla rivista Intelligenza Artificiale, Anno II, Numero 3, Settembre 2005.
  • RCRA 2006 Giornatata di lavoro ``Analisi sperimentale e benchmark di algoritmi per l'Intelligenza Artificiale'', Udine, 23 Giugno 2006.
  • RCRA 2007 Workshop internazionale ``Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion'', Roma, 5-6 Giugno 2007. Una selezione degli atti è stata pubblicata sul Journal of Algorithms in Cognition, Informatics and Logic, Volume 63, Issues 1-3, January-July 2008, Elsevier.
  • RCRA 2008. ``The 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion''. Workshop internazionale, tenuto a Udine, 12-13 Dicembre 2008. Una selezione dei lavori è stata pubblicata sulla rivista internazionale Fundamenta Informaticae, Volume 102, Number 3-4, 2010.
  • RCRA 2009. ``The 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion''. Workshop internazionale, tenuto a Reggio Emilia, 11-12 Dicembre 2009. Una selezione dei lavori è stata pubblicata sulla rivista internazionale Fundamenta Informaticae, Volume 107, Number 2-3, 2011.
  • AI*IA 2009 special session. Sessione su "Experimentation of Combinatorial Algorithms" della conferenza internazionale XI Conference of the Italian Association for Artificial Intelligence. Gli atti della conferenza sono stati pubblicati su Lecture Notes in Computer Science 5883, Springer 2009, ISBN 978-3-642-10290-5.
  • CILC 2009. ``24-esimo Convegno Italiano di Logica Computazionale''. 25-26 Giugno 2009. Dipartimento di Ingegneria, Università di Ferrara. Una selezione dei lavori è stata pubblicata sulla rivista internazionale Fundamenta Informaticae, Volume 105 (1-2) 2010.
  • CP-AI-OR 2010: Conference chair of the seventh International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming. Bologna, 14-18 giugno 2010.
  • RCRA 2010: ``17th RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion", Bologna, 10-11 giugno 2010. Una selezione dei migliori articoli è stata pubblicata sulla rivista internazionale ``Annals of Mathematics and Artificial Intelligence", Volume 62, Numbers 3-4 / July 2011.
  • RCRA 2011: ``18th RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion", Barcelona, Spagna, 17-18 giugno 2011. Una selezione dei migliori articoli è stata pubblicata sulla rivista internazionale ``AI Communications'', Volume 25, Number 2 / 2012.
  • ICLP DC 2012: ``Eighth ICLP Doctoral Consortium'', Budapest, Hungary, 4 settembre 2012.
  • ICLP DC 2013: ``Nineth ICLP Doctoral Consortium'', Istanbul, Turkey, 24 agosto 2013.
  • AI*IA 2015: ``14th Conference of the Italian Association for Artificial Intelligence'', Ferrara, Italia, 23-25 Settembre 2015.
    Gli atti della conferenza sono stati pubblicati su Lecture Notes in Computer Science, Volume 9336, Springer 2015. ISBN: 978-3-319-24308-5.
  • PADL 2016: ``Eighteenth International Symposium on Practical Aspects of Declarative Languages''. St. Petersburg, Florida (USA), 18-19 January 2016. Gli atti saranno pubblicati in un volume della serie Lecture Notes in Computer Science della Springer.


Marco Gavanelli è stato coordinatore nazionale (insieme a Toni Mancini) del gruppo RCRA dal 2007 al 2012.


Dal Dicembre 2006 è membro del direttivo del GULP (Gruppo ricercatori e utenti Logic Programming).


Dal 20 Dicembre 2012 è segretario del GULP.


Altre attività di ricerca




  • Membro del comitato di redazione (Editorial Board) delle riviste ISRN Software Engineering, The Scientific World Journal e Asian Journal of Computer Science;
    review editor della rivista Frontiers in Robotics and AI.
  • Area editor della ALP Newsletter per il tema ``Applications of Logic Programming'' dal 2010 al 2013.
  • Organizzazione di conferenze internazionali (CP-AI-OR 2010),
    Workshop internazionali (RCRA 2007-2011),
    workshop nazionali (RCRA 2005-2006, CILC 2009).
    Ha organizzato il Doctoral Consortium della conferenza internazionale ICLP 2012.
  • Comitato di programma di conferenze (AI*IA2009, ECAI 2010, FLOPS 2012, ICLP 2012, CP 2012, IJCAI 2013, AAAI-14, AAAI-15, PADL 2015, GCAI 2015, IJCAI 2016) e workshop (CILC 2004, Workshop ``Agenti e Vincoli'', Perugia, Italy 2004, CHR 2010, CILC 2010, HAROSA-INCOS 2011, FLOPS 2011, CILC 2012, CHR 2013, CILC 2013, PAI 2013, CICLOPS-WLPE 2014, CILC 2014, RCRA 2014).
    Senior PC member della conferenza internazionale IJCAI 2011.


Attività professionali



  • 1998: Programmatore presso Akros Informatica S.r.l. (ora DataManagement), via Sergio Cavina 7, 48100 Ravenna (Italy).
  • 2003-2004: ``Manager didattico'' nel corso di laurea ``Ingegneria Informatica e dell'Automazione'', Facoltà di Ingegneria, Università di Ferrara.


Attività didattiche



  • 2002-2008: Corso ``Fondamenti di Informatica 1'', Facoltà di Ingegneria, Università di Ferrara.
  • 2009-oggi: Modulo A (6cfu) del corso ``Fondamenti di Informatica'', Facoltà di Ingegneria, Università di Ferrara.
  • 2004-oggi: Sezione su Programmazione Logica a Vincoli nel corso ``Applicazioni di Intelligenza Artificiale'', Facoltà di Ingegneria, Università di Ferrara.
  • 2005-oggi: membro del ``Collegio dei docenti del dottorato dell'ingegneria'' Facoltà di Ingegneria, Università di Ferrara.
  • 2001-2002: seminari ai corsi ``Intelligenza Artificiale'' e ``Linguaggi Simbolici'' alla Facoltà di Ingegneria, Università di Bologna.
  • 1999-oggi: Supervisore di varie tesi di laurea, Università di Bologna e di Ferrara.
  • 2004-2007: Delegato della Facoltà di Ingegneria per il tutorato.
  • 2003-oggi: Responsabile per l'orario delle lezioni dei corsi di laurea in Ingegneria dell'Informazione. L'orario viene generato da un programma di ottimizzazione combinatoria. Grazie a questa ottimizzazione, nel 2012 i corsi di laurea di dell'Informazione si sono classificati nei questionari degli studenti ai primi 3 posti (nella facoltà di ingegneria) per quel che riguarda l'accettazione delle aule.
  • 2008/09: Modulo ``Programmazione Logica a Vincoli" del corso ``Applicazioni di Intelligenza Artificiale" presso la Facoltà di Ingegneria, Università degli Studi di Bologna.
  • Supervisore di dottorandi

    • Massimiliano Cattafi
    • Andrea Peano

  • Membro della commissione di esame della tesi di dottorato di Daniel Guimarans Serrano, Departament de Telecomunicació i d'Enginyeria de Sistemes, Escola d'Enginyeria, Universitat Autònoma de Barcelona, Spagna. 2012.


Premi e valutazioni



Best paper award alla 27th International Conference on Logic Programming, ICLP 2011 per l'articolo Optimal placement of valves in a water distribution network with CLP(FD).


Membro della squadra vincitrice nella 15th Prolog Programming Competition (Udine, 2008)


Nella VQR 2004-2010, tutti i prodotti presentati hanno ottenuto valutazione Eccellente, inclusi quelli presentati da co-autori, per un totale di 4 lavori eccellenti.


Riceve l'incentivo ''una tantum'' (art. 29 comma 19 Legge 240/2010) dall'Università di Ferrara relativo al ruolo di ricercatore e all'anno 2012. L'incentivo andava distribuito, secondo la legge, previa valutazione comparativa, effettuata seguendo criteri di merito accademico e scientifico e poteva essere assegnato al più alla metà dei ricercatori dell'Ateneo.