Angelo Ferrando
Research Fellow - Università degli Studi di Genova - Department of Computer Science
About
Angelo Ferrando is a Research Fellow at the University of Genova (IT) and an Honorary Research Associate at the University of Liverpool (UK).
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 was part of the Autonomy and Verification Network at University of Manchester, where he worked on applying RV in the RAIN and ORCA research hubs founded by UKRI. He is a member of the program committee in several international conferences such as PRIMA, AAMAS and IJCAI.
His main research interests are Formal Methods, Software Engineering, Multi-Agent Systems (MASs) and Runtime Verification (RV); the latter especially when applied to improve the reliability of intelligent systems.
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 2015-2019 | University of Genova
Ph.D. Thesis -
MS in Computer Science with honors
A.A 2013-2015 | University of Genova
Master's Thesis -
BS in Computer Science with honors
A.A 2010-2013 | University of Genova
-
First certificate in English (Level B2)
2012
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
- Co-Lecturer for the bachelor course "Algoritmi e Strutture Dati (ASD)"
- Co-Lecturer for the master course "Multi-Agent Systems (MAS)"
- Co-Lecturer for the master course "Natural Language Processing (NLP)"
Courses
- Co-Lecturer for the course "Programmazione Concorrente e Algoritmi Distribuiti"
- 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
- Runtime Verification of Autonomous Driving Systems in CARLA by Rodolfo Centanaro
Courses
Thesis Advisor
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 36th AAAI Conference on Artificial Intelligence (AAAI 2022)
- 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-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)
- 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 Multidisciplinary Digital Publishing Institute (MDPI)
- 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 developing group organising the ARIAC competition at NIST (2022)
- 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
- Tutorial. Enhancing Robot Reliability through Runtime Verification (Tool Demonstration). The 32nd International Symposium on Software Reliability Engineering (ISSRE 2021), Virtual, 27 October, 2021
- Regular paper. Towards Partial Monitoring: It is Always too Soon to Give Up. Third Workshop on Formal Methods for Autonomous Systems (FM AS 21), Virtual, 21 October, 2021.
- Regular paper. The IoT Posteggio Smart Parking Project. Italian Conference on ICT for Smart Cities and Communities (I-Cities 2021), Virtual, 22 September, 2021
- Regular paper. Combine Model Checking and Runtime Verification in Multi-Agent Systems. Italian Conference on Theoretical Computer Science (ICTCS 2021), Virtual, 13 September, 2021
- Regular paper. Incrementally Predictive Runtime Verification. Italian Conference on Computational Logic (CILC 2021), Virtual, 8 September, 2021
- 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
- Invited speaker. Italian Association for Artificial Intelligence (AixIA 2020) Doctoral Consortium
- 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
- 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
- 2nd place in the Multi-Agent Programming Contest, 2020
- 1st place in the Multi-Agent Programming Contest, 2019
- 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"
- 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