Work Experience : 5+ Years
Email : angelo.ferrando@dibris.unige.it
CV : CV.pdf
Small Intro :
Angelo Ferrando is a Research Fellow at the University of Genova (Italy) since March 2021.
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 founded by UKRI.
His main research interests are Formal Methods, Software Engineering, Multi-Agent Systems
and Runtime Verification; the latter especially when applied to improve the reliability of intelligent systems.
He is a member of the program committee in several international conferences such as PRIMA, AAMAS and IJCAI.
BS IN COMPUTER SCIENCE WITH HONORS
Sept. 2010 - July 2013 | University of Genova
MS IN COMPUTER SCIENCE WITH HONORS
Sept. 2013 - Oct 2015 | University of Genova
Master's Thesis
PHD IN COMPUTER SCIENCE
Nov. 2015 - Mar. 2019 | University of Genova
Ph.D. Thesis
FIRST CERTIFICATE IN ENGLISH (LEVEL B2)
University of Genova
March 2021 - present | Genova, Italy
Research Fellow
University of Manchester
July 2020 - February 2021 | Manchester, UK
Postdoctoral Research Associate
University of Liverpool
December 2018 - July 2020 | Liverpool, UK
Postdoctoral Research Associate
SIMULATION TEAM
Oct. 2012 - May 2014 | Savona
Software Developer
Plus projects listed below..
C • C++ • Java • C# • MySQL • PHP • LATEX • Prolog • HTML • CSS • JavaScript • Python • Haskell
Spark Java • JADE • Jason • JaCaMo • NetLogo • Matlab • R • ROS • DialogFlow