1// File: about.md 2// Author: Angelo Ferrando 3 4# About Me 5Assistant Professor 6Department of Computer Science 7@ University of Modena and Reggio Emilia 8 9# Experience 10-Research Fellow 11@ University of Genova (2021–2024) 12-Postdoctoral Research Associate 13@ University of Manchester (2020–2021) 14-Postdoctoral Research Associate 15@ University of Liverpool (2018–2020) 16 17# Roles 18Coordinator @ CINI Smart Cities & Communities (2021–2024) 19 20# Research Topics 21-Formal Methods 22-Runtime Verification 23-Software Engineering 24-Multi-Agent Systems

1// File: work.md 2// Author: Angelo Ferrando 3 4# Work Experience 5-Assistant Professor (RTDB) 6University of Modena and Reggio Emilia (Feb 2024–present) 7-Research Fellow (RTDA) 8University of Genova (Mar 2021–Jan 2024) 9-Postdoctoral Research Associate 10University of Manchester (Jul 2020–Feb 2021) 11-Postdoctoral Research Associate 12University of Liverpool (Dec 2018–Jun 2020) 13-Software Developer 14Simulation Team (Oct 2012–May 2014) 15 16# Visiting Researcher 17-University of Liverpool, UK (Jan–Feb 2017) 18Worked with Prof. Michael Fisher and Prof. Louise A. Dennis 19-University of Lancaster, UK (Feb–Mar 2018) 20Worked with Prof. Amit K. Chopra and Dr. Akin Gunay 21-University of Otago, New Zealand (Aug–Oct 2018) 22Worked with Prof. Michael Winikoff, Prof. Stephen Cranefield and Prof. Frank Dignum

1// File: education.md 2// Author: Angelo Ferrando 3 4# Education 5-PhD in Computer Science 6University of Genova (2015–2019) 7 Thesis = ("phd-thesis.pdf") 8-MS in Computer Science with honors 9University of Genova (2013–2015) 10 Thesis = ("ms-thesis.pdf") 11-BS in Computer Science with honors 12University of Genova (2010–2013) 13-First Certificate in English (Level B2)

1// File: teaching.md 2// Author: Angelo Ferrando 3 4# A.Y. 2025–2026 (UNIMORE) 5-Complementi di Programmazione [BSc] 6-Metodi per il ciclo di vita del software [MSc] 7 8# A.Y. 2024–2025 (UNIMORE) 9-Complementi di Programmazione [BSc] 10-Metodi per il ciclo di vita del software [MSc] 11 12# A.Y. 2023–2024 (UNIGE) 13-Multi-Agent Systems (MAS) [MSc] — Co-Lecturer 14-Introduction to formal verification: an appetiser [PhD] 15 16# A.Y. 2022–2023 (UNIGE) 17-Programmazione Concorrente e Algoritmi Distribuiti (PCAD) [BSc] 18-Multi-Agent Systems (MAS) [MSc] — Co-Lecturer 19-Natural Language Processing (NLP) [MSc] — Co-Lecturer 20-Introduction to formal verification: an appetiser [PhD] 21 22# A.Y. 2021–2022 (UNIGE) 23-Algoritmi e Strutture Dati (ASD) [BSc] — Co-Lecturer 24-Multi-Agent Systems (MAS) [MSc] — Co-Lecturer 25-Natural Language Processing (NLP) [MSc] — Co-Lecturer 26-Introduction to Computer Science [MSc] — Co-Lecturer 27-Introduction to formal verification: an appetiser [PhD] 28 29# A.Y. 2020–2021 (UNIGE) 30-Programmazione Concorrente e Algoritmi Distribuiti (PCAD) [BSc] — Co-Lecturer

1// File: projects.md 2// Author: Angelo Ferrando 3 4# CONVINCE 5[Horizon Europe] 6Member of WP4 (Verification and Monitoring) (Oct 2022 – Dec 2024) 7Funded by the European Union Horizon Europe Programme 8 9# INSERTION 10[SEED Research Grant] 11Principal Investigator (Jul 2022 – Jul 2024) 12Funded by DIBRIS (University of Genova) 13 14# Smart Rogaining 15Software Developer (Feb 2018 – Feb 2019) 16Commissioned by Luca Gelati — Web application for supporting team-building activities 17 18# PortBot 19Software Developer (Apr 2018 – Dec 2018) 20Commissioned by CIPI — Chatbot for the Port of Genova 21 22# Video and Auto Expertises 23Software Developer (Jan 2018 – Jan 2019) 24Commissioned by Queirolo & Associati — Progressive Web App for supporting video and auto expertises

1// File: community.md 2// Author: Angelo Ferrando 3 4# PC Member and Reviewer (Conferences) 5Area Chair 6Engineering and Analysis of Multi-Agent Systems Track — AAMAS (2026) 7 8Senior Program Committee Member 9European Conference on Artificial Intelligence — ECAI (2025) 10 11Program Committee Member 12-AAAI Conference on Artificial Intelligence — AAAI (2022–2026) 13-International Conference on Autonomous Agents and Multiagent Systems — AAMAS (2021–2026) 14-International Joint Conference on Artificial Intelligence — IJCAI (2020–2026) 15-European Conference on Artificial Intelligence — ECAI (2023–2025) 16-European Conference on Multi-Agent Systems — EUMAS (2023–2025) 17-Principles and Practice of Multi-Agent Systems — PRIMA (2019–2024) 18-NASA Formal Methods Symposium — NFM (2024–2026) 19-IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises — WETICE (2020–2025) 20 21Program Committee Member (Workshops) 22-International Workshop on Engineering Multi-Agent Systems — EMAS (2019–2026) 23-Workshop on Formal Methods for Autonomous Systems — FMAS (2020–2025) 24-Workshop on Verification and Monitoring at Runtime Execution — VORTEX (2021–2024) 25-Workshop From Objects to Agents — WOA (2021–2023) 26-Workshop on Governing Adaptive and Unplanned Systems of Systems — GAUSS (2020–2021) 27 28# Reviewer (Journals) 29-IEEE Transactions on Computers — TC 30-Multidisciplinary Digital Publishing Institute — MDPI 31-ACM Transactions on Internet Technology — TOIT 32-Journal of Systems and Software — JSS 33-Logic Journal of the IGPL — IGPL 34-Journal of the International Foundation for Autonomous Agents and Multi-Agent Systems — JAAMAS 35 36# Organiser and Chair Roles 37-Topical Area Curator — Computer Science & Systems, Conference on Computer Science and Intelligence Systems — FedCSIS (2025) 38-General Co-Chair — International Conference on Principles and Practice of Multi-Agent Systems — PRIMA (2025) 39-Proceedings Co-Chair — European Conference on Artificial Intelligence — ECAI (2025) 40-PhD Track Chair — European Conference on Multi-Agent Systems — EUMAS (2023) 41-Co-Organiser — Workshop on Agents and Robots for reliable Engineered Autonomy — AREA (2020–2025) 42-Co-Organiser — Engineering Reliable Autonomous Systems, Lorentz Center — ERAS (2024) 43-Co-Chair — Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning — LAMAS&SR (2024) 44-Local Organiser — International Conference on Logic Programming and Nonmonotonic Reasoning — LPNMR (2022) 45-Local Co-Organiser — Italian Conference on Computational Logic — CILC (2015) 46-Committee Member — ARIAC Competition, National Institute of Standards and Technology — NIST (2022) 47-Publicity and Communication Committee Member — Italian Association for Artificial Intelligence Conference — AIxIA (2021) 48 49# Editor 50-26th International Conference on Principles and Practice of Multi-Agent Systems — PRIMA Proceedings on LNAI (2025) 50-5th Workshop on Agents and Robots for reliable Engineered Autonomy — AREA Proceedings on CCIS (2025) 51-4th Workshop on Agents and Robots for reliable Engineered Autonomy — AREA Proceedings on CCIS (2024) 52-Special Issue of the 3rd Workshop on Agents and Robots for reliable Engineered Autonomy — AREA on Annals of Mathematics and Artificial Intelligence (2023) 53-Special Issue of the 23rd Workshop From Objects to Agents — WOA on Intelligenza Artificiale (2022) 54-23rd Workshop From Objects to Agents — WOA Proceedings on CEUR AIxIA Series (2022) 55-3rd Workshop on Agents and Robots for reliable Engineered Autonomy — AREA Proceedings on EPTCS (2023) 56-Special Issue of the 2nd Workshop on Agents and Robots for reliable Engineered Autonomy — AREA on Robotics (2022) 57-2nd Workshop on Agents and Robots for reliable Engineered Autonomy — AREA Proceedings on EPTCS (2022) 58-Special Issue of the 1st Workshop on Agents and Robots for reliable Engineered Autonomy — AREA on Journal of Sensor and Actuator Networks (2020) 59-1st Workshop on Agents and Robots for reliable Engineered Autonomy — AREA Proceedings on EPTCS (2020) 60 61# Honors & Awards 62-Best Paper Award for “Theory and Practice of Quantitative ATL” @ International Conference on Principles and Practice of Multi-Agent Systems — PRIMA (2024) 63-Journal-First Track Award for “Bridging the Gap between Single- and Multi-Model Predictive Runtime Verification” @ International Symposium on Formal Methods — FM (2023) 64-2nd Place Multi-Agent Programming Contest (2020) 65-1st Place Multi-Agent Programming Contest (2019) 66-Best Paper Award for “On Enactability of Agent Interaction Protocols: Towards a Unified Approach” @ International Workshop on Engineering Multi-Agent Systems — EMAS (2019) 67-Special Mention for the Master’s Thesis “Trace Expressions for Runtime Verification and Protocol-Driven Behaviour”