Paolo Torroni's Curriculum Vitae

Paolo Torroni's Home Page

About me

I am an assistant professor in computing at DEIS, University of Bologna. My research interests are:

artificial intelligence

autonomous agents and multi-agent systems

computational logics, (abductive) logic programming, hypothetical and temporal reasoning

negotiation, dialogue, argumentation, and resource exchange

social aspects of multi-agent systems, normative reasoning and agent communication

interaction protocols, open systems, declarative specifications and verification

web services, business processes and web service choreographies

Short curriculum vitae

Education

2002: PhD (Dottorato di Ricerca) in Electronic and Computer Science Engineering at DEIS: "Reasoning and interaction in logic-based multi-agent systems". Supervisors: Prof. M. Boari and Prof. P. Mello

1998: MEng (Diploma di Laurea) in Computer Science Engineering: "Contract Net Protocol per la pianificazione in sistemi robotici". Supervisors: Prof. D. Maio and Prof. S. Rizzi

Stays abroad ( more than 4 weeks )

2003: 2 months at the University of Uppsala, Department of Information Science, as an academic visitor

2002: 3 months at Imperial College, Department of Computing, within the SOCS project, as an academic visitor

2000-2001: 6 months at Imperial College, Department of Computing, as an occasional PhD student

1995-1996: 1 year at Universidade Técnica de Lisboa, Istituto Superior Técnico, Lisbon, as an Erasmus student (undergraduate student).

Schools attended

2002: CP-AI-OR school on Optimization, Le Croisic.

2000: International School on Computational Logics, Maratea.

1999: First European Agent Systems Summer School, Utrecht.

Invited talks and tutorials

2010: Declarative technologies for open agent systems and beyond. KES-AMSTA, Gdynia, Poland, June 2010.

2004: Introduzione ai sistemi multi-agente basati su logica computazionale. Tutorial at the 19th Annual Meeting of the Italian Association of Researchers and Users of Logic Programming, "Associazione Italiana Gruppo Ricercatori e Utenti di Logic Programming" (GULP), Parma, June 16, 2004.

2003: An Introduction to Logic-Based Multi-Agent Systems. Tutorial at the 8th Italian Congress on Artificial Intelligence, AI*IA, Pisa, September 23, 2003.

Current and past activities

Editorial activity:

ALP Newsletter, the Newsletter of the Association of Logic Programming. Applications of Logic Programming Area Editor, together with Marco Gavanelli.

Steering committees:

GULP - Gruppo Ricercatori e Utenti di Logic Programming (members). Member of the Executive Board (since December 2003), and Secretary (since December 2005).

CLIMA, the International Workshop on Computational Logic in Multi-Agent Systems. Member of the Steering Committee from November 2002 until February 2012.

DALT, the International Workshop on Declarative Agent Languages and Technologies. Co-founder and member of the Steering Committee until February 2012.

CISWN, the International Workshop on Collective Intelligence in Semantic Web and Social Networks. Member of the Steering Committee in 2008.

Organizing committees:

ISCL, the International ALP/GULP Spring School on Computational Logic. Co-organizer of ISCL 2011, together with M. Gabbrielli.

DALT School, the International Spring School on Declarative Agent Languages and Technologies. Co-organizer of DALT School 2011, together with A. Omicini.

LADS, the International Workshop on Languages and Development Tools for Multi-Agent Systems. Co-organizer of LADS 007 and LADS 009, together with M. Dastani, A. El Fallah Segrouchni, and J. Leite.

ArgNMR, the International Workshop on Argumentation and Non-Monotonic Reasoning. Co-organizer of ArgNMR 2007, together with G. Simari.

CLIMA, the International Workshop on Computational Logic in Multi-Agent Systems. Co-organizer of CLIMA V 2004 and CLIMA XII 2011, together with J. Leite, and co-organizer of CLIMA VI 2005 together with F. Toni.

DALT, the International Workshop on Declarative Agent Languages and Technologies. Co-organizer of DALT 2003, together with J. Leite, A. Omicini, and L. Sterling, of DALT 2004, together with J. Leite, A. Omicini, and P. Yolum, and of DALT 2005, together with M. Baldoni, U. Endriss, and A. Omicini.

AAMAS'02, 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems. Member of the local organization committee.

Program Committees:

International Joint Conference on Artificial Intelligence: IJCAI 2011 (Barcelona, Spain, Jul 2011), IJCAI 2009 (Pasadena, CA, US, Jul 2009), IJCAI 2005 (Edinburgh, Scotland, Jul/Aug 2005, reviewer).

European Conference on Artificial Intelligence: ECAI 2006 (Riva del Garda, Italy, Aug/Sep 2006).

Australian Joint Conference on Artificial Intelligence: AI 2007 (Gold Coast, Queensland, Dec 2007).

International Conference on Logic Programming: ICLP 2008 (Udine, Italy, Dec 2008), ICLP Doctoral Consortium 2006 (Seattle, WA, US, Aug 2006).

International Conference on Computational Models of Argument: COMMA 2012 (Vienna, Austria, Sep 2010), COMMA 2010 (Desenzano del Garda, Italy, Sep 2010), COMMA 2008 (Toulouse, France, May 2008), COMMA 2006 (Liverpool, UK, Sep 2006).

European Conference on Logics in Artificial Intelligence: JELIA 2006 (Liverpool, UK, Sep 2006), JELIA 2004 (Lisbon, Portugal, Sep 2004).

International Conference on Principles and Practice of Multi-Agent Systems: PRIMA 2012 (Kuching, Sarawak, Malaysia, Sep 2012, Senior PC).

International Joint Conference on Autonomous Agents and Multi-Agent Systems: AAMAS 2011 (Taipei, Taiwan, May 2011, Senior PC), AAMAS 2010 (Toronto, Canada, May 2010), AAMAS 2009 (Budapest, Hungary, May 2009), AAMAS 2007 (Honolulu, Hawaii, US, May 2007), AAMAS 2006 (Hakodate, Japan, May 2006), AAMAS 2005 (Utrecht, The Netherlands, Jul 2005), AAMAS 2004 (New York, US, Jul 2004), AAMAS 2003 (Melbourne, Australia, Jul 2003).

International Conference on Practical Applications of Agents and Multi-Agent Systems: PAAMS 2012 (Salamanca, Spain, Mar 2012), PAAMS 2011 (Salamanca, Spain, Apr 2011), PAAMS 2010 (Salamanca, Spain, Apr 2010), PAAMS 2009 (Salamanca, Spain, Mar 2009).

International Workshop on Languages and Development Tools for Multi-Agent Systems: LADS 010 (Lyon, France, Sep 2010).

International Conference on Electronic Commerce and Web Technologies: EC-Web 2011 (Toulouse, France, Aug/Sep 2011).

International Conference on Ambient Systems, Networks and Technologies: ANT 2010 (Paris, France, Nov 2010).

European Workshop on Multi-Agent Systems: EUMAS 2007 (Hammamet, Tunisia, Dec 2007), EUMAS 2004 (Barcelona, Spain, Dec 2004), EUMAS 2003 (Oxford, UK, Sep 2003).

International Symposium on Computer and Information Sciences: ISCIS 2009 (METU Northern Cyprus Campus, Turkey, Sep 2009).

NMR 2010 Workshop on Argument, Dialog and Decision: NMR 2010 (Toronto, Canada, May 2010).

AAAI 2009 Fall Symposium on The Uses of Computational Argumentation: AAAI F.S. 2009 (Washington D.C., US, Nov 2009).

International Symposium on Practical Aspects of Declarative Languages: PADL 2010 (Madrid, Spain, Jan 2010).

LPNMR 2011 Workshop on Logic-Based Interpretation of Context: Log-IC 2011 (Vancouver, Canada, May 2011).

ICLP 2011 Workshop on Logic Programming and Multi-Agent Systems: LPMAS 2011 (Lexington, Kentucky, USA, Jul 2011).

ICLP 2010 Workshop on Answer Set Programming and Other Computing Paradigms: ASPOCP 2010 (Edinburgh, UK, Jul 2010).

International Workshop on Computational Logic in Multi-Agent Systems: CLIMA XI @ ECAI 2010 (Lisbon, Portugal, Aug 2010), CLIMA VIII @ ICLP 2007 (Porto, Portugal, Sep 2007), CLIMA VII @ AAMAS 2006 (Hakodate, Japan, May 2006), CLIMA VI 2005 (London, UK, Jun 2005), CLIMA V @ JELIA 2004 (Lisbon, Portugal, Sep 2004), CLIMA IV @ LPNMR and AI-Math (Fort Lauderdale, FL, Jan 2004), CLIMA 2002 @ FLoC (Copenhagen, Denmark, Aug 2002).

International Workshop on Programming Multi-Agent Systems, in conjunction with AAMAS: ProMAS 2011, ProMAS 2010, ProMAS 2009, ProMAS 2008, ProMAS 2007, ProMAS 2006, ProMAS 2005, ProMAS 2004,

International Workshop on Argumentation in Multi-Agent Systems, in conjunction with AAMAS: ArgMAS 2012, ArgMAS 2011, ArgMAS 2010, ArgMAS 2009, ArgMAS 2008, ArgMAS 2007, ArgMAS 2006, ArgMAS 2005, ArgMAS 2004,

International Workshop on Agent Communication, in conjunction with AAMAS: AC 2010.

International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems, a MALLOW 2010 event: COIN@MALLOW2010.

International Workshop on Multi-Agent Systems Technology and Semantics: MASTS 2009 (Bucharest, Romania, May 2009).

International Workshop on Multi-Agent Systems: Theory and Applications: MASTA 2011 (Lisbon, Portugal, Oct 2011).

International Workshop on Intelligent Agent Technology, Power Systems and Energy Markets: IATEM 2012 (Vienna, Austria, Sep 2012).

International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion: RCRA 2010 (Bologna, Italy, Jun 2010).

AI*IA Symposium on Artificial Intelligence : AI*IA Doctoral Consortium 2010 (Brescia, Italy, Dec 2010).

Workshop on Governance, Risk and Compliance in Information Systems: GRCIS @ CAiSE 2010 (Hammamet, Tunisia, Jun 2010), GRCIS @ CAiSE 2009 (Amsterdam, The Netherlands, Jun 2009), GRCIS @ CAiSE 2008 (Montpellier, France, Jun 2008), GRCWIS @ WISE 2007 (Nancy, France, Dec 2007).

International Workshop on Agent Based Computing: ABC:MI 2012 (Wroclaw, Poland, Sep 2012), ABC:MI 2011 (Szczecin, Poland, Sep 2011), ABC:MI 2010 (Wisla, Poland, Oct 2010), ABC:MI 2009 (Patras, Greece, Aug 2009), ABC V 2008 (Wisla, Poland, Oct 2008), ABC IV 2007 (Wisla, Poland, Oct 2007).

International Workshop on Agent-Based Ubiquitous Computing: ABUC @ AAMAS 2007.

International Workshop on Agents and Multi-Agent Systems, from Theory to Application: AMTA 2006 @ CANADIAN AI-2006 (Québec City, Québec, Canada, Jun 2006).

International Workshop on Conceptual Modelling for Agents: CoMoA 2004 (Shangai, China, Nov 2004).

WET ICE'00, IEEE Ninth International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises. Maryland, USA, June 14-16, 2000.

Convegno Italiano di Logica Computazionale: CILC 2012 (Roma, Jun 2012), CILC 2010 (Rende, Jun 2010), CILC 2006 (Bari, Jun 2006), CILC 2005 (Roma, Jun 2005).

Workshop dagli Oggetti agli Agenti: WOA 2006 (Catania, Sep 2006).

Gruppo di lavoro dell'AI*IA su Rappresentazione della Conoscenza e Ragionamento Automatico: RCRA'05 (Ferrara, Jun 2005).

Peer Reviews:

PhD/MSc Thesis (opponent): Elisa Marengo (2012, University of Turin), Iara Almeida (PhD 2011, University of Evora), Joao Martins (MSc 2010, New University of Lisbon), Benjamin Hirsch (PhD 2005, University of Liverpool).

Proposal reviewer: EU FP7 ICT STREP, Swiss National Science Foundation SER COST, Luxembourg National Research Fund FNR INTER.

Journal reviewer: Artificial Intelligence, ACM Transactions on Autonomous and Adaptive Systems, Journal of Artificial Intelligence Research, Data and Knowledge Engineering, Journal of Intelligent Systems, Theory and Practice of Logic Programming, Autonomous Agents and Multi-Agent Systems, Argument and Computation, Fundamenta Informaticae, Annals of Mathematics and Artificial Intelligence, IEEE Intelligent Systems, Applied Artificial Intelligence, Progress in Artificial Intelligence.

Book chapter reviewer: Essays in Honour of Marek Sergot (LNCS 7360, Springer 2012), A 25-Year Perspective on Logic Programming (LNCS 6125, Springer 2010), Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models (IGI Global 2009).

Conference reviewer: ICLP'12, AIME'11, DALT'11, JELIA'10, ICLP'09, AIME'09, Didamatica'08, Didamatica'07, AICA'06, MICAI'05, IEA-AIE'05, ECAI'04, ICLP'04, ICTCS'03, SAC'03, ICLP'03, AI*IA'03, ICLP'02, AAMAS'02, AI*IA'01, MAAMAW'01, SAC'00, ESAW'00, AGP'00

Appointments

In 2004, by decree of the Rector of the University of Bologna, Prof. Pier Ugo Calzolari, I was appointed assistant professor (ricercatore), through public competition, within settore scientifico-disciplinare ING-INF/05, "Sistemi di elaborazione delle informazioni" (Computing).

In 2008, my tenureship (conferma in ruolo) was approved by the national evaluation committee for ING-INF/05.

Grants

2002-2005: post-doc fellowship (assegno di ricerca) by the University of Bologna and the Europear Union: "Un modello logico computazionale per la descrizione, analisi e verifica di società aperte e globali di agenti logici eterogenei". Tutor: Prof. M. Boari

2001-2002: post-doc fellowship (assegno di ricerca) by the University of Bologna: "Realizzazione di architetture multi-agente per la pianificazione in sistemi distribuiti". Tutor: Prof. P. Mello

1998-2001: PhD scholarship (borsa di dottorato) in Computer Science Engineering by the University of Bologna (DEIS, Corso di dottorato in Ingegneria Elettronica ed Informatica, XIV ciclo): "Agenti intelligenti: interazione e acquisizione di conoscenza". Supervisors: Tutor: Prof. M. Boari

Current and past projects

2006-2009: FIRB National TOCAI.IT project on "Knowledge-oriented technologies for enterprise aggregation in Internet", coordinator M. Lenzerini.

2006-2007: PRIN National project on "Specification and verification of agent interaction protocols", coordinator A. Martelli.

2004-2005: MIUR 40% National project on "Development and verification of logic-based multi-agent systems", coordinator A. Martelli.

2002-2004: 5FP EU IST-FET SOCS project on "Societies Of ComputeeS: a computational logical model for the description, analysis and verification of global and open societies of heterogeneous computees", coordinator F. Toni.

1998-2000: MURST 40% project on "Agenti Intelligenti: Interazione e Acquisizione di conoscenza" (Intelligent Agents: Interaction and Knowledge Acquisition), coordinator F. Turini.

1996-1998: MURST 40% project on "Rappresentazione della conoscenza e meccanismi di ragionamento", coordinator A. Martelli.

Prizes and awards

2010: AT2AI best paper award

2001: ATAL best paper award

Teaching activity

2005-present: Lecturer of various Computer Science Fundamentals courses (Faculty of Engeneering, Bologna)

2004-2005: Tutor of Lab of Computer Science Fundamentals

1999-2004: Tutor of Operating Systems

1999-2000: Tutor of Computer Science Fundamentals

Modern language skills

Italian, native speaker.

English and Portuguese, fluent.

French, German, Spanish, and Turkish, working knowledge.

Contact

Dr. Paolo Torroni
Dipartimento di Informatica, Elettronica e Sistemistica
Laboratorio di Informatica Avanzata
Università di Bologna
V.le Risorgimento, 2
40136 BOLOGNA, Italy
office: +39 051 209 3767
fax: +39 051 209 3073