Curriculum
Marco Gavanelli
August 20, 2019
1 Current Position
Professore Associato (Associate Professor) in Computer Science in the Department of Engineering, University of Ferrara (Italy), since the 1st of October 2014.
2 Short bio
• Born in Bologna, 15th of June 1971
• March 1998: Laurea in Ingegneria Informatica (M.Sc. in computer science engineering) indirizzo “Sistemi ed Applicazioni Informatici” at Universit`a degli Studi di Bologna (Italy), mark 99/100.
• May - August 1998: works as a programmer for Akros Informatica S.r.l. (now DataManagement), Ravenna, Italy.
• November 1998: Initiates Ph.D. course in Ingegneria dell’Informazione (computer engineering), Universit`a di Modena e Reggio Emilia.
• June - December 2001: Visits IC-Parc, Imperial College, Londra.
• 22 January 2002: Obtains Ph.D.
• January 2002: Postdoc at University of Ferrara
• 27 December 2004-30 September 2014: Ricercatore (assistant professor) at Universit`a di Ferrara.
• since 1 October 2014: Professore Associato (Associate Professor) at Universit`a di Ferrara.
3 Education
• 2002: PhD (Dottorato di Ricerca) in Computer Engineering at Ferrara University (Italy): “Interactive Constraint Satisfaction for Artificial Vision”. Supervisor: Prof. E. Lamma
• 1998: Graduated in Computer Science Engineering at Bologna University
(Italy).
3.1 Schools attended
• Summer School in (Constraint) logic programming, New Mexico State University, Las Cruces, NM, USA. August 1-6, 1999. Organized by: COMPULOG Americas.
• 2000 International Summer School in Computational Logic. Acquafredda di Maratea (Basilicata, Italy) September 3-8, 2000. Organized under the auspices of ALP (International Association for Logic Programming), COMPULOG (ESPRIT Network of Excellence in Computational Logic), GULP (Italian Association for Logic Programming)
• La Visione delle Macchine 2000. Modena, 23 - 27 ottobre 2000. Organizzata da IAPR-IC (International Association of Pattern Recognition Italian Chapter) e con il patrocinio dell’Universit`a di Modena e Reggio Emilia
• School on Optimization. Le Croisic, France 23-24 March 2002.
4 Research
4.1 Projects
• Progetto di Ricerca Nazionale (National project) “Intelligent Agents Interaction and Knowledge Acquisition”. 1999-2000.
• Project for young researchers “Proposta ed Analisi di Algoritmi per Problemi di Soddisfacimento di Vincoli con Priorit`a fra le Soluzioni Data da Ordinamenti Parziali”. 2001.
• Grant “Programma di scambi internazionali per la mobilit`a di breve durata (Short-Term Mobility)” of CNR (National research Council), 2001.
• European project “SOCS: Society of Computees” UE IST-2001-32530 of the Information Society Technologies programme of the European Commission in the context of the Global Computing initiative of the FET initiative. 2001-2005
• Progetto MIUR COFIN (National project): “La Gestione e la negoziazione automatica dei diritti sulle opere dell’ingegno digitali: aspetti giuridici e informatici”.
• MIUR PRIN 2005 project n.2005-015491: “Vincoli e preferenze come formalismo unificante per l’analisi di sistemi informatici e la soluzione di problemi reali”
• Project for the realization of the “Tecnopolo di Ferrara, activity I.1.1 of the 2007-2013 Regional Operational Programme of the European Regional Development Fund; convention “Creazione di Tecnopoli per la ricerca industriale e il trasferimento Tecnologico” between the Emilia-Romagna Region and Ferrara University.
• Coordinator of the Ferrara unit in European Project e-Policy: Engineering the POlicy-making LIfe Cycle 7th framework programme. Theme ICT-75.6 (ICT solutions for governance and policy modelling). Grant agreement no. 288147. The project was evaluated as Excellent (“the project has fully achieved its objectives and technical goals for the period and has even exceeded expectations”) by the European Commission
4.2 Invited Talks and Seminars
• Compliance verification of interaction protocols through abduction, in J. Dix, T. Eiter, and E. Franconi editors, Logic Based Information Agents, Schloss Dagstuhl, April 2004.
• Specifica e verifica dell’interazione fra agenti usando SOCS-SI, with Federico Chesani, workshop CILC 2005 (Convegno Italiano di Logica Computazionale).
• Specification and Verification of Agent Interaction Using Computational Logic: the tool SOCS-SI, with Federico Chesani, international workshop CLIMA VI.
• Conferencia Magistral Constraint Satisfaction Problems at the CONAIS 2010 congress, Villahermosa, Tabasco, Mexico, 24 September 2010.
• Optimal Valve Placement in Water Distribution Networks with CLP(FD) at the 23rd International Joint Conference on Artificial Intelligence (IJCAI13), August 3-9, 2013, Beijing, China (joint work with Massimiliano Cattafi, Maddalena Nonato, Stefano Alvisi and Marco Franchini).
4.3 International collaborations
Visiting Researcher in IC-Parc, Imperial College, London in June-July and September-December 2001.
4.4 Organisation
• RCRA 2005: National Workshop “Analisi sperimentale e benchmark di algoritmi per l’Intelligenza Artificiale”, Ferrara, 10 June 2005. A selection of the papers was published in the journal “Intelligenza Artificiale”, year II, number 3, 2005.
• RCRA 2006: National Workshop “Analisi sperimentale e benchmark di algoritmi per l’Intelligenza Artificiale”, Udine, 23 June 2006. A selection of the papers will be published on ”Intelligenza Artificiale”.
• RCRA 2007: International workshop “Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion”. Rome, 5-6 June 2007. A selection of the papers was published on the Journal of Algorithms in Cognition, Informatics and Logic, Volume 63, Issues 1-3, Pages 1-150 (January-July 2008), Elsevier.
• RCRA 2008: “The 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion”. Udine, 12-13 December 2008. A selection of the papers was published on the Journal Fundamenta Informaticae, Volume 102, Number 3-4, 2010.
• RCRA 2009: “6th RCRA International Workshop on ”Experimental evaluation of algorithms for solving problems with combinatorial explosion”, Reggio Emilia, Italy, 11-12 December 2009. A selection of the papers was published on Fundamenta Informaticae, Volume 107, Number 2-3, 2011.
• Special session “Experimentation of Combinatorial Algorithms” in the international conference AI*IA 2009, Reggio-Emilia (Italy), December 2009. Conference proceedings were published on Lecture Notes in Computer Science 5883, Springer 2009, ISBN 978-3-642-10290-5.
• CILC 2009: National workshop on computational logic. A selection of the papers was published on the international journal “Fundamenta Informaticae”, Volume 105, number 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, Italy, June 14-18, 2010.
• RCRA 2010: “17th RCRA International Workshop on ”Experimental evaluation of algorithms for solving problems with combinatorial explosion”, Bologna, Italy, June 10-11, 2010. A selection of the papers was published on the international journal “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, Spain, June 17-18, 2011. A selection of the best papers was published on the international journal “AI Communications”, Volume 25, Number 2 / 2012.
• ICLP DC 2012: “Eighth ICLP Doctoral Consortium”, Budapest, Hungary, 4th of September 2012.
• ICLP DC 2013: “Nineth ICLP Doctoral Consortium”, Istanbul, Turkey, 24 August 2013.
• AI*IA 2015: “14th Conference of the Italian Association for Artificial Intelligence”, Ferrara, Italy, 23-25 September 2015. The conference proceedings are published as 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. The symposium proceedings are published as Volume 9585 of Lecture Notes in Computer Science, Springer 2016. ISBN: 978-3-319-28227-5
• ICLP 2018: General Chair of the 34th International Conference on Logic Programming July 14-17 2018, Oxford, UK.
He has been national coordinator (together with Toni Mancini) of the RCRA (Rappresentazione della Conoscenza e Ragionamento Automatico, i.e., Knowledge Representation and Automatic Reasoning) group of AI*IA (the Italian Association for Artificial Intelligence) from 2007 to 2012.
He has been guest editor of national (Intelligenza Artificiale) and international journals (Journal of Algorithms in Logic, Informatics and Cognition, Fundamenta Informaticae, Annals of Mathematics and Artificial Intelligence, AI Communications).
Since December 2006 he is member of the Executive board of GULP: Gruppo Utenti e ricercatori di Logic Programming (Italian group of users and researchers of Logic Programming).
From December 20, 2012 to December 2018 he has been secretary of GULP.
Since June 2016 he is Conference Coordinator of the ALP (Association for Logic Programming).
4.5 Other research activities
• Member of the Editorial Board of the journals ISRN Software Engineering, The Scientific World Journal, Asian Journal of Computer Science, Journal of Computer Science, Intelligenza Artificiale, International Journal of Research Innovations in Computer Science (IJRICS); review editor of the journal Frontiers in Robotics and AI.
• Area editor of the ALP Newsletter for the Applications of Logic Programming from 2010 to 2013.
• Organisation of international conferences (CP-AI-OR 2010), international workshops (RCRA 2007-2011), national workshops (RCRA 2005-2006, CILC 2009).
• Program committee of conferences (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, ICLP 2016, PADL’17, IJ-
CAI 2017, ICLP 2017, GCAI 2017, PADL 2018, ICLP 2018, GCAI 2018, PADL 2019) and workshops (CILC 2004, Workshop “Agenti e Vincoli” 2004, CHR 2010, CILC 2010, HAROSA-INCOS 2011, CILC 2012, CHR 2013, CILC 2013, PAI 2013, CICLOPS-WLPE 2014, CILC 2014, RCRA 2014, RCRA 2015, RCRA 2017, RCRA 2018, RCRA 2019). Senior PC member of the international conference IJCAI 2011.
• Reviewer
– International journals (Annals of Operations Research, Journal of Research and Practice in Information Technology, Theory and Practice of Logic Programming, IEEE Transactions on System, Man and Cybernetics, Journal of Artificial Intelligence, Int. J. of Artificial Intelligence and Soft Computing, Journal of Experimental and Theoretical Artificial Intelligence, IEEE Transactions on Computers, AI Communications, JAAMAS, Fundamenta Informaticae, Constraints,
JESTECH, Frontiers of OptoElectronics, IEEE Communications Letters, ...)
– International conferences (CP-AI-OR, ECAI, IJCAI, CLIMA, LPNMR ...)
• Session chair of international conferences (ECAI 2002).
5 Professional activities
• 1998: Programmer in Akros Informatica S.r.l. (now DataManagement), via Sergio Cavina 7, 48100 Ravenna (Italy).
• 2003-2004: “Manager didattico” at the Laurea course “Ingegneria Informatica e dell’Automazione” (Computer science and automation engineering).
6 Teaching
• 2002-2008: Course “Fondamenti di Informatica 1” (Computer Science basics) at the faculty of Engineering, University of Ferrara.
• 2009-today: Module A of the Course “Fondamenti di Informatica” (Computer Science basics) at the faculty of Engineering, University of Ferrara.
• 2004-2015: Constraint Logic Programming section of the course “Applicazioni di Intelligenza Artificiale” (Applications of Artificial Intelligence) at the faculty of Engineering, University of Ferrara.
• 2016-today: Course “Constraint Programming” at the Department of Engineering, University of Ferrara.
• 2015-today: Course “Linguaggi e Traduttori” at the Department of Engineering, University of Ferrara.
• 2005-today: member of the “Collegio dei docenti del dottorato dell’ingegneria” (faculty of Engineering, University of Ferrara).
• 2012 member of the Board of Examiners of a Ph.D. thesis at the Universitat Aut`onoma de Barcelona (UAB)
• 2001-2002: seminars at the courses “Intelligenza Artificiale” and “Linguaggi Simbolici” at the faculty of Engineering, University of Bologna.
• 1999-today: Supervisor of various laurea theses, Universities of Bologna and Ferrara.
• 2004-2007 and 2017-today: Delegate of the Faculty of Engineering for Tutorship.
• 2003-2016: Responsible for the timetabling in the Laurea course ”Ingegneria dell’Informazione” in the Faculty of Engineering. The timetabling is currently done with a CLP program of combinatorial optimisation. Thanks to the optimisation, the students ranked the laurea course 9th (out of 55 laurea courses of the University) for suitability of the rooms to the courses.
• 2008/09: Constraint Logic Programming section of the course “Applicazioni di Intelligenza Artificiale” (Applications of Artificial Intelligence) at the faculty of Engineering, University of Bologna.
• Supervisor of Ph.D. students:
– Massimiliano Cattafi
– Andrea Peano
– Andrea Bertagnon
• Member of the examination board of the Ph.D. theses of
– Daniel Guimarans Serrano, Departament de Telecomunicaci´o i d’Enginyeria de Sistemes, Escola d’Enginyeria, Universitat Aut`onoma de Barcelona, Spagna. 2012.
– Federico Campeotto, Universit`a 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 Prizes
Member of the winning team in the 15th Prolog Programming Contest (Udine, 2008)
Best paper award at the 27th International Conference on Logic Programming, ICLP 2011 for the paper Optimal placement of valves in a water distribution network with CLP(FD).
