Curriculum

Marco Gavanelli

Dip. di Ingegneria - Universita` di Ferrara - Via Saragat, 1 - 44122 Ferrara, Italy.

 

1 Posizione Attuale

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

 

2 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.

 

3 Formazione

Marco Gavanelli si `e 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”.

 

4 Ricerca

4.1 Progetti

Progetti di cui `e stato principal investigator o coordinatore di unità di ricerca:

  • 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.
  • Coordinatore dell’unità di Ferrara nel progetto europeo “e-Policy: Engineering the POlicy-making LIfe Cycle” del 7 programma quadro. Theme ICT7-5.6 (ICT solutions for governance and policy modelling). Grant agreement no.: 288147. Il progetto `e stato vautato Excellent dalla Commissione Europea (”the project has fully achieved its objectives and technical goals for the period and has even exceeded expectations”)

Progetti a cui ha partecipato:

  • progetto COFIN Agenti Intelligenti: Interazione e Acquisizione di Conoscenza.
  • 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: “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.
  • Progetto Green-Smart Technology per l’utilizzo sostenibile della risorsa idrica negli edifici e in ambito urbano (GST4Water) POR-FESR 2014-2020; partecipante.
  • Progetto GNCS-2017 “DECORE - A DEClarative approach for Object REconstruction” coordinato da Andrea Formisano
  • Progetto GNCS-2019 “Metodi per il trattamento di incertezza ed imprecisione nella rappresentazione e revisione di conoscenza” coordinato da Francesca A. Lisi
  • Progetto di ricerca industriale “PolisEye - POLIcy Support systEm for smart citY data governancE” finanziato dal POR FESR Emilia-Romagna 2014-

2020 nell’ambito della Strategia di Specializzazione Intelligente (S3)


4.2 Seminari e relazioni invitate

E 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). – Multi-Criteria Optimal Planning for Energy Policies in CLP. Università di Udine, 23 ottobre 2014.
  • Constraint Logic Programming. Tutorial nell’ambito della Scuola GULP, Genova, 30 giugno 2015.


4.3 Collaborazioni internazionali

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


4.4 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 `e 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 `e 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 `e 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 `e 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”. 2526 Giugno 2009. Dipartimento di Ingegneria, Università di Ferrara. Una selezione dei lavori `e 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 `e 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 `e 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”. Petersburg, Florida (USA), 18-19 January 2016. Gli atti sono pubblicati nella serie Lecture Notes in Computer Science, Volume 9585, Springer 2016. ISBN: 978-3-319-28227-5
  • ICLP 2018: General Chair della “34th International Conference on Logic Programming”. July 14-17 2018. Oxford, UK.

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

Dal Dicembre 2006 `e membro del direttivo del GULP (Gruppo ricercatori e utenti Logic Programming). e dal 20 Dicembre 2012 al Dicembre 2018 ne `e stato segretario.

Dal 10 giugno 2016 `e Conference Coordinator della ALP (Association for Logic Programming).


4.5 Altre attività di ricerca

  • Membro del comitato di redazione (Editorial Board) delle riviste Journal of Computer Science, Intelligenza Artificiale; 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 delle conferenze internazionali ICLP 2012 e ICLP 2013.
  • 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, AAAI 2016, IJCAI 2016, RuleML 2016, PADL’17, IJCAI 2017, ICLP 2017, GCAI 2017, PADL 2018, ICLP 2018, GCAI 2018, PADL 2019, AI*IA 2019) 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, RCRA 2015, RCRA 2017, RCRA 2018, RCRA 2019, GCAI 2020, ECAI 2020, RCRA 2020). Senior PC member della conferenza internazionale IJCAI 2011.


5  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.


6 Attività didattiche

  • 13/10/2021- oggi: Coordinatore dei corsi di studio:
    • Laurea triennale della classe L-8 in "Ingegneria Elettronica e Informatica"
    • Laurea magistrale della classe LM-29 in "Ingegneria Elettronica per l'ICT"
    • Laurea magistrale della classe LM-32 in "Ingegneria Informatica e dell'Automazione"
  • 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 e 2017-oggi: 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
    • Alessandro Bertagnon
  • Membro della commissione di esame delle tesi di dottorato di
    • Daniel Guimarans Serrano, Departament de Telecomunicacio' i d’Enginyeria de Sistemes, Escola d’Enginyeria, Universitat Aut`onoma de Barcelona, Spagna. 2012.
    • Federico Campeotto, Università degli Studi di Udine, Dipartimento di Matematica e Informatica, Dottorato di Ricerca in Informatica. 2014
    • Olivier Wang, Ecole Polytechnique, Universit´e Paris-Saclay, 2017.´


7 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 Contest

(Udine, 2008)

Ferrara, 17 marzo 2022

archiviato sotto: