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
angelo@website:~$
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”