Towards Runtime Verification of Multi-Agent Systems and Robotic Applications
Data: giovedì 28 settembre 2023 ore 11:00
Aula: M0.1 piano terra edificio Matematica
Relatore: dott. Angelo Ferrando
Titolo: Towards Runtime Verification of Multi-Agent Systems and Robotic Applications
Abstract: In this presentation, I will showcase my research from the past few years, which revolves around the formal verification of Multi-Agent Systems and Robotic applications. More specifically, I will delve into the realm of Runtime Verification and Software Engineering for AI-based systems of this nature. The presentation will encompass a wide spectrum of my work in this field, with a particular emphasis on a select few, namely the most significant and pivotal ones within my research.
Bio: 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 funded 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.
Host: Giacomo Cabri
[Ultimo aggiornamento: 19/09/2023 11:46:14]