Angelo Ferrando
Scholar

Angelo Ferrando

Google Scholar ID: ekIM0qgAAAAJ
Assistant Professor at the University of Modena and Reggio Emilia
Artificial intelligenceFormal MethodsRuntime VerificationMulti-Agent Systems
Citations & Impact
All-time
Citations
1,286
 
H-index
18
 
i10-index
36
 
Publications
20
 
Co-authors
0
 
Resume (English only)
Academic Achievements
  • Member of the program committee in several international conferences such as AAAI, AAMAS, and IJCAI. Supervised multiple PhD and master's thesis students.
Research Experience
  • - Assistant Professor, February 2024 - present, University of Modena and Reggio Emilia (Italy)
  • - Research Fellow, March 2021 - January 2024, University of Genova (Italy)
  • - Postdoctoral Research Associate, July 2020 - February 2021, University of Manchester (United Kingdom)
  • - Postdoctoral Research Associate, December 2018 - June 2020, University of Liverpool (United Kingdom)
  • - Software Developer, October 2012 - May 2014, Simulation Team, Savona (Italy)
Education
  • - PhD in Computer Science, 2015-2019, University of Genova
  • - MS in Computer Science with honors, 2013-2015, University of Genova
  • - BS in Computer Science with honors, 2010-2013, University of Genova
Background
  • Research interests: Formal Methods, Software Engineering, Multi-Agent Systems (MASs), and Runtime Verification (RV), especially when applied to improve the reliability of intelligent systems.
Miscellany
  • Skills in various programming languages including Python, C#, Java, LaTeX; familiar with frameworks and libraries like Jason, JaCaMo, Spark Java, etc.
Co-authors
0 total
Co-authors: 0 (list not available)