Angelo Ferrando

Angelo Ferrando is a Research Fellow at the University of Genova (IT), an Honorary Research Associate at the University of Liverpool (UK), and is part of the Autonomy and Verification Network.
Since 2021, he is the coordinator of the CINI "Smart Cities & Communities" node of the University of Genova.
Previously he was a Postdoctoral Research Associate at the University of Manchester (UK) from July 2020 to February 2021, and Postdoctoral Research Associate at the University of Liverpool (UK) from 2018 to 2020. He worked at The University of Manchester on applying RV in the RAIN and ORCA research hubs funded by UKRI.
His main research interests are Formal Methods, Software Engineering, Multi-Agent Systems and Runtime Verification; the latter especially when applied to improve the reliability of intelligent systems.
He is a member of the program committee in several international conferences such as PRIMA, AAMAS and IJCAI.

  • MAIN INTERESTS:
  • Runtime Verification (RV)
  • Multi-Agent Systems (MASs)
  • Static Verification (e.g. Model Checking)
  • Programming and Learning new programming languages

Work

  • Research Fellow

    March 2021 - present | University of Genova

  • Postdoctoral Research Associate

    July 2020 - February 2021 | University of Manchester (UK)

  • Postdoctoral Research Associate

    December 2018 - July 2020 | University of Liverpool (UK)

  • Software Developer

    October 2012 - May 2014 | Simulation Team, Savona

Education

  • PHD in COMPUTER SCIENCE

    A.A 2018-2019 | University of Genova

    Ph.D. Thesis
  • MS IN COMPUTER SCIENCE with honors

    A.A 2014-2015 | University of Genova

    Master's Thesis
  • BS in COMPUTE SCIENCE with honors

    A.A 2012-2013 | University of Genova

  • First certificate in English (LEVEL B2)

    2012

Technical skills

Python / C# / Java / LaTeX
Prolog
C / C++ / SQL
HTML / CSS / JavaScript / PHP
Haskell
Jason / JaCaMo
Spark Java
JADE
NetLogo / ROS
Matlab / R / DialogFlow

Teaching

Courses
  • Co-Lecturer for the course "Programmazione Concorrente e Algoritmi Distribuiti"
Thesis Advisor
  • P2P Architecture: Analysis and Implementation of a Smart Parking by Alex Di Stefano
  • Analysis and Development of Control Dashboard in Angular for Smart Parking Server by Christian Stingone

Projects

February 2018 - February 2019
Commissioned by Luca Gelati
WebApp for supporting Team Building

April 2018 - December 2018
Commissioned by CIPI
ChatBot for the port of Genova

January 2018 - January 2019
Commissioned by Queirolo & Associati
Progressive WebApp for supporting Video and Auto expertises

Research community

    • PC Member in the 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022)
    • PC Board of the 31st, 32nd and 33rd International Joint Conference on Artificial Intelligence (IJCAI 2022,2023,2024)
    • PC Member in the 3rd International Workshop on Governing Adaptive and Unplanned Systems of Systems (GAUSS 2021)
    • PC Member in the 22nd Workshop "From Objects to Agents" (WOA 2021)
    • PC Member in the 22nd Towards Autonomous Robotic Systems Conference (TAROS 2021)
    • 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 2021)
    • 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)
    • 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 in the 32nd International Conference on Database and Expert Systems Applications (DEXA 2021)
    • Reviewer in the 5th APWeb-WAIM International Joint Conference on Web and Big Data (APWeb-WAIM 2021)
    • Reviewer in the 21st Towards Autonomous Robotic Systems Conference (TAROS 2020)
    • Reviewer of Transactions on Internet Technology (TOIT)
    • 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)
    • Part of the Publicity and Communication Committee for the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021)
    • 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
    • Regular paper. RVPLAN: A General Purpose Framework for Replanning using Runtime Verification. Verification and mOnitoring at RunTime EXecution (VORTEX 2021), Virtual, 12 July, 2021
    • 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
    • 2 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
    • 1 month at the University of Lancaster, UK (Feb - Mar 2018) where he worked with Prof. Amit K. Chopra and Dr. Akin Gunay
    • 3 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