Current Position


Professore Associato (Associate Professor) in Computer Science in the Department of Engineering, University of Ferrara (Italy), since the 1st of October 2014.


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à 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à 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à di Ferrara.
  • since 1 October 2014: Professore Associato (Associate Professor) at Università di Ferrara.


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


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à di Modena e Reggio Emilia
  • School on Optimization. Le Croisic, France 23-24 March 2002.


Research


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à fra le Soluzioni Data da Ordinamenti Parziali". 2001.
  • Grant ``Programma di scambi internazionali per la mobilità 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 7^th framework programme. Theme ICT-7-5.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


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 (IJCAI-13), August 3-9, 2013, Beijing, China (joint work with Massimiliano Cattafi, Maddalena Nonato, Stefano Alvisi and Marco Franchini).


International collaborations


Visiting Researcher in IC-Parc, Imperial College, London in June-July and September-December 2001.


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 will be published in the Lecture Notes in Computer Science series of Springer.

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


Since December 20, 2012 he is secretary of GULP.


Other research activities



  • Member of the Editorial Board of the journals ISRN Software Engineering, The Scientific World Journal, Asian Journal of Computer Science;
    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, IJCAI 2016)
    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).
    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, ...)
    • International conferences (CP-AI-OR, ECAI, IJCAI, CLIMA, LPNMR ...)

  • Session chair of international conferences (ECAI 2002).


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


Teaching



  • 2002-today: Course ``Fondamenti di Informatica 1" (Computer Science basics) at the faculty of Engineering, University of Ferrara. Among the courses of the Laurea Course, ``Fondamenti di Informatica 1'' was rated by students (as overall satisfaction level) 4th out of 11 in 2005 and 6th out of 20 in 2006.
  • 2004-today: Constraint Logic Programming section of the course ``Applicazioni di Intelligenza Artificiale" (Applications of Artificial Intelligence) at the faculty 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ònoma 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: Delegate of the Faculty of Engineering for Tutorship.
  • 2003-today: 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

  • Member of the examination board of the Ph.D. thesis of Daniel Guimarans Serrano, Departament de Telecomunicació i d'Enginyeria de Sistemes, Escola d'Enginyeria, Universitat Autònoma de Barcelona, Spain. 2012.


Prizes


Member of the winning team in the 15th Prolog Programming Competition (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).