Angelo Ferrando
Department of Computer Science
Postdoctoral Research Associate

Personal details

Work Experience : 5+ Years
Email :
CV : CV.pdf
Small Intro : Angelo Ferrando is a Postdoctoral Research Associate at University of Manchester. His research interests are focused on Multi-Agent Systems (MASs) and Runtime Verification (RV). Since from his master's thesis he has been working on the design and implementation of a compact and expressive formalism (based on Session Types theory) to be used for the RV of MASs: the Trace Expression formalism. With respect to the standard Centralized approach, he has been trying to follow a more decentralized way to solve this kind of problems, in particular studying the possible use of the Decentralized Runtime Verification (DRV) to improve the efficiency avoiding bottlenecks issues during the runtime monitoring of big MASs.

Main used
Programming Languages

75% Complete (success) PROLOG
90% Complete C / C++ / C# / JAVA
65% Complete (warning) SQL / PYTHON
45% Complete (danger) HTML / CSS / JAVASCRIPT / PHP

Main interests:

  • Multi-Agent Systems (MASs)
  • Runtime Verification (RV)
  • Decentralized Runtime Verification (DRV)
  • Static Verification (Model Checking)
  • Programming and Learning new programming languages


Sept. 2010 - July 2013 | University of Genova
Sept. 2013 - Oct 2015 | University of Genova
Master's Thesis
Nov. 2015 - Mar. 2019 | University of Genova
Ph.D. Thesis

Work experience

University of Manchester
July. 2020 - present | Manchester, UK
Postdoctoral Research Associate

University of Liverpool
Dec. 2018 - July 2020 | Liverpool, UK
Postdoctoral Research Associate

Oct. 2012 - May 2014 | Savona
Software Developer

Plus projects listed below..

Programming languages (and more) I know:

C • C++ • Java • C# • MySQL • PHP • LATEX • Prolog • HTML • CSS • JavaScript • Python • Haskell

Frameworks and Libraries I have experience with:

Spark Java • JADE • Jason • JaCaMo • NetLogo • Matlab • R • ROS • DialogFlow


  • Smart Rogaining

    February 2018 - February 2019
    Commissioned by Luca Gelati
    WebApp for supporting Team Building
    Development of a webapp for supporting team building experiences. The app is used to guide the players inside the game and allows interacting with a set of interesting points positioned on the map.
  • PortBot

    April 2018 - December 2018
    Commissioned by CIPI
    ChatBot for the port of Genova
    Development of a chatbot for supporting the call center of the port of Genova. The chatbot answers to generic and specific questions concerning the situation inside the port. The objective of this work is to have support off the clock, since the call center is not a 24h/24h service. The framework used for developing such kind of chatbot is called Dialogflow.
  • Video and Auto Expertises

    January 2018 - January 2019
    Commissioned by Queirolo & ass.
    Progressive WebApp for supporting Video and Auto expertises
    Development of a progressive webapp for supporting video and auto expertise for an insurance adjuster agency in Genova. The app is divided in two parts: Video and Auto. The video part allows the insurance adjuster to communicate directly with the client through a video chat. During this communication, the app supports also the exchange of information and datas to support the negotiation. The auto part allows the client to insert the datas relating to the damage in order to speed up the negotiation.

Honors and Awards

PC Member and Reviewer:

  • 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 in the 18th Adaptive Computing (and Agents) for Enhanced Collaboration track at WETICE 2020
  • Reviewer in the 21st Towards Autonomous Robotic Systems Conference (TAROS 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).


  • Organiser of the 1st Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2020)
  • Local organizer at the 15th International Conference of the Italian Association for Artificial Intelligence, Genova.

Frameworks and Libraries developed during Ph.D.

  • Trace Expression Jade Java Library: GitHub
  • Trace Expression SWI-Prolog Connector: GitHub
  • RIVERtools (Eclipse Plugin): GitHub

Frameworks and Libraries developed during Postdoc

  • ROSMonitoring - Runtime Verification framework for ROS: GitHub

Study abroad

  • 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.