Angelo Ferrando
Assistant Professor - University of Modena and Reggio Emilia - Department of Computer Science
About
Angelo Ferrando is an Assistant Professor at the University of Modena and Reggio Emilia. He previously was a Research Fellow at the University of Genova (IT) and a Research Associate at the University of Liverpool (UK).
Since 2021 to 2024, he has been the coordinator of the CINI "Smart Cities & Communities" node at the University of Genova.
Previously, he was a Postdoctoral Research Associate at the University of Manchester (UK) from July 2020 to February 2021 and a Postdoctoral Research Associate at the University of Liverpool (UK) from 2018 to 2020.
He was part of the Autonomy and Verification Network at the University of Manchester, where he worked on applying RV in the RAIN and ORCA research hubs funded by UKRI. He is a member of the program committee in several international conferences such as AAAI, AAMAS, and IJCAI.
His main research interests are Formal Methods, Software Engineering, Multi-Agent Systems (MASs), and Runtime Verification (RV), especially when applied to improve the reliability of intelligent systems.
Work
-
Assistant Professor (RTDB)
February 2024 - present | University of Modena and Reggio Emilia (Italy)
-
Research Fellow (RTDA)
March 2021 - January 2024 | University of Genova (Italy)
-
Postdoctoral Research Associate
July 2020 - February 2021 | University of Manchester (United Kingdom)
-
Postdoctoral Research Associate
December 2018 - June 2020 | University of Liverpool (United Kingdom)
-
Software Developer
October 2012 - May 2014 | Simulation Team, Savona (Italy)
Education
-
PHD in Computer Science
A.Y 2015-2019 | University of Genova
Ph.D. Thesis -
MS in Computer Science with honors
A.Y 2013-2015 | University of Genova
Master's Thesis -
BS in Computer Science with honors
A.Y 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
- Lecturer for the course "Complementi di Programmazione"
- Lecturer for the course "Metodi per il ciclo di vita del software"
Bachelor Courses
Master Courses
- Co-Lecturer for the course "Multi-Agent Systems (MAS)"
- Lecturer for the course "Introduction to formal verification: an appetiser"
- RMLGym: a formal reward machine framework for reinforcement learning by Hisham Unniyankal
- On Theoretical Questions of Machine Learning, Multi-Agent Systems, and Quantum Computing With Their Reciprocal Applications by Mahyar Sadeghi Garjan
Master Courses
PhD Courses
Thesis Advisor
- Lecturer for the course "Programmazione Concorrente e Algoritmi Distribuiti (PCAD)"
- Co-Lecturer for the course "Multi-Agent Systems (MAS)"
- Co-Lecturer for the course "Natural Language Processing (NLP)"
- Lecturer for the course "Introduction to formal verification: an appetiser"
- Onto2Conv: An application for boosting cognitive conversational agents by Zeinab Namakizadeh Esfahani
- Towards Incremental Process Mining with PM4Py by Riccardo Grimaldi
- Assessing Neural Network Transferability through Learned Features by Andrea Canepa
- 'Among Us' game implementation and simulation in Jason with BDI and RL approaches by Manuel Parmiggiani
Bachelor Courses
Master Courses
PhD Courses
Thesis Advisor
- Co-Lecturer for the course "Algoritmi e Strutture Dati (ASD)"
- Co-Lecturer for the course "Multi-Agent Systems (MAS)"
- Co-Lecturer for the course "Natural Language Processing (NLP)"
- Co-Lecturer for the course "Introduction to Computer Science"
- Lecturer for the course "Introduction to formal verification: an appetiser"
- Hyper Runtime Verification by Claudio Stana
- Design and Implementation of a Semantic Search Engine for the AGRICORE project by Jyoti Dhiman
- To be or not to Be... an Agent in the Theater? by Andrea Gatti
- Exploiting JADE as a Multi-Agent simulator of the Immune System by Sanchayan Bhunia
Bachelor Courses
Master Courses
PhD Courses
Thesis Advisor
- Co-Lecturer for the course "Programmazione Concorrente e Algoritmi Distribuiti (PCAD)"
- 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
Bachelor Courses
Thesis Advisor
Projects
Role: Member of WP4 (Verification and Monitoring)
October 2022 - present
Funded by the European Union Horizon Europe Programme
Role: Principal Investigator
July 2022 - present
Funded by the Department of Informatics, Bioengineering, Robotics and Systems Engineering of University of Genova
in the context of the SEED research grant.
Role: Software Developer
February 2018 - February 2019
Commissioned by Luca Gelati
WebApp for supporting Team Building
Role: Software Developer
April 2018 - December 2018
Commissioned by CIPI
ChatBot for the port of Genova
Role: Software Developer
January 2018 - January 2019
Commissioned by Queirolo & Associati
Progressive WebApp for supporting Video and Auto expertises
Research community
- PC Member in the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025)
- PC Member in the 39th AAAI Conference on Artificial Intelligence (AAAI 2025)
- PC Member in the 21st European Conference on Multi-Agent Systems (EUMAS 2024)
- PC Member in the 7th Workshop on Verification and Monitoring at Runtime Execution (VORTEX 2024)
- PC Member in the 6th Workshop on Formal Methods for Autonomous Systems (FM AS 2024)
- PC Member in the 32nd IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2024)
- PC Member in the 25th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2024)
- PC Member in the 1st Workshop on "eXtended Reality & Intelligent Agents" (XRIA24 2024)
- PC Member in the 12th International Workshop on Engineering Multi-Agent Systems (EMAS 2024)
- PC Member in the 27th European Conference on Artificial Intelligence (ECAI 2024)
- PC Member in the 16th NASA Formal Methods Symposium (NFM 2024)
- PC Member in the IEEE Space Mission Challenges for Information Technology - IEEE Space Computing Conference (SMC-IT/SCC 2024)
- PC Member in the 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024)
- PC Member in the 38th AAAI Conference on Artificial Intelligence (AAAI 2024)
- PC Member in the 2nd Workshop on Strategies, Prediction, Interaction, and Reasoning (SPIRIT 2023)
- PC Member in the 23rd Workshop "From Objects to Agents" (WOA 2023)
- PC Member in the 26th European Conference on Artificial Intelligence (ECAI 2023)
- PC Member in the 5th Workshop on Formal Methods for Autonomous Systems (FM AS 2023)
- PC Member in the 6th Workshop on Verification and Monitoring at Runtime Execution (VORTEX 2023)
- PC Member in the 20th European Conference on Multi-Agent Systems (EUMAS 2023)
- PC Member in the 11th International Workshop on Engineering Multi-Agent Systems (EMAS 2023)
- PC Member in the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023)
- PC Member in the 37th AAAI Conference on Artificial Intelligence (AAAI 2023)
- PC Member in the 5th International Workshop on Verification of Objects at Runtime Execution (VORTEX 2022)
- PC Member in the 4th Workshop on Formal Methods for Autonomous Systems (FM AS 2022)
- PC Member in the 24th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2022)
- PC Member in the 10th International Workshop on Engineering Multi-Agent Systems (EMAS 2022)
- PC Member in the PhD Symposium (PhD-iFM) at the International Conference on integrated Formal Methods (iFM 2022)
- 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)
- 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)
- 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 of IEEE Transactions on Computers
- 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)
- Organiser (with R. C. Cardoso, M. Farrell, and M. Luckcuck) of the Engineering Reliable Autonomous Systems (ERAS) in the Lorentz Center (2024)
- Co-Chair (with Munyque Mittelmann and Aniello Murano) of the 4th International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning (LAMAS&SR 2024)
- Organiser (with R. C. Cardoso) of the 4th Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2024), co-located with ECAI 2024
- PhD Track Chair of the 20th European Conference on Multi-Agent Systems (EUMAS 2023).
- Organiser (with R. C. Cardoso) of the 3rd Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2023), co-located with ECAI 2023
- Organiser (with R. C. Cardoso, F. Papacchini, M. Askarpour, L. A. Dennis) of the 2nd Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2022), co-located with IJCAI-ECAI 2022
- Organiser (with V. Mascardi) of the 23rd Workshop "From Objects to Agents" (WOA 22)
- Local organiser of the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 22)
- 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), co-located with ECAI 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
- Editor of the 4th Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2024) proceedings, on CCIS.
- Editor of the Special Issue of the 3rd Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2023), on Annals of Mathematics and Artificial Intelligence.
- Editor of the Special Issue of the 23rd Workshop "From Objects to Agents" (WOA22), on Intelligenza Artificiale.
- Editor of the 23rd Workshop "From Objects to Agents" (WOA22) proceedings, on CEUR AIxIA Series.
- Editor of the 3rd Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2023) proceedings, on EPTCS.
- Editor of the Special Issue of the 2nd Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2022), on Robotics.
- Editor of the 2nd Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2022) proceedings, on EPTCS.
- Editor of the Special Issue of the 1st Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2020), on the Journal of Sensor and Actuator Networks (JSAN).
- Editor of the 1st Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2020) proceedings, on EPTCS.
- FORmal Methods and logic in Action (FORMA) research group, as a member of the group.
- Autonomy and Verification Network, as a member of the network.
- Rafael C. Cardoso [University of Aberdeen], on topics: Multi-Agent Systems, Robotics, Software Engineering.
- Vadim Malvone [Telecom Paris], on topics: Formal Verification, Multi-Agent Systems, Strategic Reasoning.
- NIST [National Institute of Standards and Technology], on the development of the ARIAC competition.
- Regular paper. RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep? (FMAS 2024), Manchester, 11-13 November, 2024.
- Regular paper. Open Challenges in the Formal Verification of Autonomous Driving (FMAS 2024), Manchester, 11-13 November, 2024.
- Regular paper. ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics (FMAS 2024), Manchester, 11-13 November, 2024.
- Demo paper. VITAMIN: A Tool for Model Checking of MAS. In the 21st European Conference on Multi-Agent Systems (EUMAS 2024), Dublin, 26-28 August, 2024.
- Regular paper. MAiS: Exploiting JADE as a Multi-Agent simulator of the Immune System. In the 21st European Conference on Multi-Agent Systems (EUMAS 2024), Dublin, 26-28 August, 2024.
- Regular paper. Walking around with VITAMIN: A Compositional Tool for Model Checking of Multi-Agent Systems. In the 25th Workshop "From Objects to Agents" (WOA 2024), Forte di Bard, 8-10 July, 2024.
- Regular paper. RVElastic: a Runtime Verification Framework for Microservice Systems. In the 32nd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2024), Reggio Emilia, 26-28 June, 2024.
- Oral communication. Solvent: liveness verification of smart contracts. In the 6th Distributed Ledger Technologies Workshop (DLT 2024), Turin, 14-15 May, 2024.
- Regular paper. 3vLTL: a Tool to Generate Automata for Three-valued LTL. In the 5th Workshop on Formal Methods for Autonomous Systems (FMAS 2023), Leiden, 15-16 November, 2023.
- Regular paper. RMLGym: a formal reward machine framework for reinforcement learning. In the 24th Workshop "From Objects to Agents" (WOA 2023), Rome, 6-8 November, 2023.
- Regular paper. Towards a Coalition Refinement Approach in the Strategic Verification of Multi-Agent Systems. In the Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2023), Rome, 6-9 November, 2023.
- Regular paper. Failure Handling in BDI Plans via Runtime Enforcement. 26th European Conference on Artificial Intelligence (ECAI 2023), Kraków, 30 September - 4 October, 2023.
- Regular paper. Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition. The 20th European Conference on Multi-Agent Systems (EUMAS 2023), Naples, 14-15 September, 2023.
- Journal-First track invited talk. Bridging the gap between Single- and Multi-Model Predictive Runtime Verification. The 25th International Symposium on Formal Methods (FM 2023), Lübeck, 7-9 March, 2023.
- Regular paper. Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa. The 1st Workshop on Strategies, Prediction, Interaction, and Reasoning (SPIRIT 2022), Udine, 29 November, 2022.
- Regular paper. Runtime Verification of Autonomous Systems with Imperfect Information. The 20th International Conference on Software Engineering and Formal Methods (SEFM 2022), Berlin, 26-30 September, 2022.
- Regular paper. Extending Attack-Fault Trees with Runtime Verification. The 4th Workshop on Formal Methods for Autonomous Systems (FMAS 2022), Berlin, 26-27 September, 2022.
- Tutorial. Exploiting Logic Programming for Runtime Verification. The 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova, 5-9 September, 2022.
- Regular paper. Towards the Combination of Model Checking and Runtime Verification on Multi-Agent Systems. The 20th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2022), L'Aquila, 13-15 July, 2022.
- Regular paper. Summarising a Holistic Approach to the Verification and Validation of Autonomous Cognitive Systems. The 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Virtual, 10 Novembre, 2021
- 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 2021), 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
- The paper "Bridging the gap between single- and multi-model predictive runtime verification" won the journal-first track award at the 25th International Symposium on Formal Methods (FM 2023)
- 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