Proceedings of the 17th International Conference on Agents and Artificial Intelligence · 2024
Cited
3
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.