Projects

• Smart Rogaining

  February 2018 - February 2019
  Commissioned by Luca Gelati
  WebApp for supporting Team Building
  Development of a webapp for supporting team building experiences. The app is used to guide the players inside the game and allows interacting with a set of interesting points positioned on the map.

• PortBot

  April 2018 - December 2018
  Commissioned by CIPI
  ChatBot for the port of Genova
  Development of a chatbot for supporting the call center of the port of Genova. The chatbot answers to generic and specific questions concerning the situation inside the port. The objective of this work is to have support off the clock, since the call center is not a 24h/24h service. The framework used for developing such kind of chatbot is called Dialogflow.

• Video and Auto Expertises

  January 2018 - January 2019
  Commissioned by Queirolo & ass.
  Progressive WebApp for supporting Video and Auto expertises
  Development of a progressive webapp for supporting video and auto expertise for an insurance adjuster agency in Genova. The app is divided in two parts: Video and Auto. The video part allows the insurance adjuster to communicate directly with the client through a video chat. During this communication, the app supports also the exchange of information and datas to support the negotiation. The auto part allows the client to insert the datas relating to the damage in order to speed up the negotiation.

Honors and Awards

• 2nd place in the Multi-Agent Programming Contest, 2020 (website).
• 1st place in the Multi-Agent Programming Contest, 2019 (website).
• Best Paper Award at the 7th International Workshop on Engineering Multi-Agent Systems (EMAS 2019).
• Special mention for the Master's thesis: "Trace expressions for runtime verification and protocol-driven behaviour".

Teaching

• Co-Lecturer for the course "Programmazione Concorrente e Algoritmi Distribuiti" - 2020/2021

PC Member and Reviewer [Conferences]:

• PC Member in the 30th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2021)
• PC Member in the 4th International Workshop on Verification of Objects at Runtime Execution (VORTEX 2021).
• PC Member in the 3rd Workshop on Formal Methods for Autonomous Systems (FM AS 2021).
• PC Member in the 9th International Workshop on Engineering Multi-Agent Systems (EMAS 2021).
• PC Member in the 30th International Joint Conference on Artificial Intelligence (IJCAI-21).
• PC Member in the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021).
• PC Member in the 23rd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2020).
• PC Member in the 2nd Workshop on Formal Methods for Autonomous Systems (FM AS 2020).
• PC Member in the 2nd International Workshop on Governing Adaptive and Unplanned Systems of Systems (GAUSS 2020).
• PC Member in the 8th International Workshop on Engineering Multi-Agent Systems (EMAS 2020).
• PC Member in the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020)
• PC Member the 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2020)
• Reviewer in the 21st Towards Autonomous Robotic Systems Conference (TAROS 2020)
• PC Member in the 22nd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2019).
• PC Member in the 19th International Conference on Runtime Verification (RV 2019).
• PC Member in the 7th International Workshop on Engineering Multi-Agent Systems (EMAS 2019).

Reviewer [Journals]:

• Reviewer of Journal of Systems and Software (JSS)
• Reviewer of Logic Journal of the IGPL
• Reviewer of the journal of the International Foundation for Autonomous Agents and Multi-Agent Systems (JAAMAS)

Organiser:

• Organiser (with R. C. Cardoso, D. Briola, T. Ahlbrecht, C. Menghi) of the 1st Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2020)
• Local organizer of the 15th International Conference of the Italian Association for Artificial Intelligence, Genova.
• Local organiser (with D. Briola, A. Corradi, PC) of Italian Conference on Computational Logic (CILC 2015), Genova

Frameworks and Libraries

• Trace Expression Jade Java Library: GitHub
• Trace Expression SWI-Prolog Connector: GitHub
• RIVERtools (Eclipse Plugin): GitHub
• ROSMonitoring - Runtime Verification framework for ROS: GitHub
• StreamB - Declarative language for automatically generating abstract environments in BDI architectures: GitHub

Speaker

• Invited speaker. The IEEE TC on the Verification of Autonomous Systems, 6 May, 2021.
• Regular paper. StreamB: a declarative language forautomatically synthesising abstractenvironments in agent platforms International Workshop on Engineering Multi-Agent Systems (EMAS 2021), London, 3-4 May, 2021
• Invited speaker. Italian Association for Artificial Intelligence (AixIA 2020) Doctoral Consortium.
• Regular paper. Runtime Verification of the ARIAC competition: Can a robot be Agile and Safe at the same time? Italian Research Group on Artificial Intelligence and Robotics Workshop (AIRO 2020), Torino, 26 November, 2020
• Regular paper. ROSMonitoring: a Runtime Verification Framework for ROS. Towards Autonomous Robotic Systems Conference (TAROS 2020), Nottingham, 16 September, 2020
• Regular paper. On Enactability of Agent Interaction Protocols: Towards a Unified Approach. International Workshop on Engineering Multi-Agent Systems (EMAS 2019), Montreal, 13-14 May, 2019
• Regular paper. Verifying and Validating Autonomous Systems: Towards an Integrated Approach. International Conference on Runtime Verification (RV 2018), Limassol (Cyprus), 10-13 November, 2018
• Regular paper. Decentralizing MAS Monitoring with DecaMon. International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), San Paolo, 8-12 May, 2017
• Regular paper. Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification. International Conference of the Italian Association for the Artificial Intelligence Doctoral Consortium (AI*IA 2016), Genova, 28 November - 1 December, 2016.
• Regular paper. Monitoring Patients with Hypoglycemia Using Self-adaptive Protocol-Driven Agents: A Case Study. International Workshop on Engineering Multi-Agent Systems (EMAS 2016), Singapore, 9-10 May, 2016.

Visiting Researcher

• Two months at the University of Liverpool, UK (Jan - Feb 2017) where he worked with Prof. Michael Fisher and Prof. Louise A. Dennis for integrating a runtime verification process inside the MCAPL framework.
• One month at the University of Lancaster, UK (Feb - Mar 2018) where he worked with Prof. Amit K. Chopra and Dr. Akin Gunay.
• Three months at the University of Otago, New Zealand (Aug - Oct 2018) where he worked with Prof. Michael Winikoff, Prof. Stephen Cranefield and Prof. Frank Dignum.

Publications