Scholar
Giuseppe Perelli
Google Scholar ID: QinfNSwAAAAJ
Associate Professor at Sapienza University of Rome
Citations & Impact
Citations
871
H-index
18
i10-index
26
Publications
20
Co-authors
47
list available
Contact
Publications
Resume (English only)
Academic Achievements
- In 2025, he received a Special Mention for Best Young Researcher Award in Theoretical Computer Science from IC-EATCS. In 2023, he received the “Marco Somalvico” Young Researcher Award from the Italian Association for Artificial Intelligence. In 2012, he received the 3+2 Award from the Italian Association for Logics and its Applications for Best Master Thesis in Logics. He has also published papers in several international conferences and journals.
Research Experience
- In April 2015, he joined the University of Oxford as a Postdoctoral Research Assistant, working with Prof. Michael Wooldridge on his Advanced ERC project RACE. In July 2018, he moved to the University of Leicester and then in June 2019, to Chalmers/University of Gothenburg as a Research Associate, working with Prof. Nir Piterman on his Consolidator ERC project dSynMA. From January 2020 to November 2021, he was a Research Associate at the Dipartimento di Ingegneria Informatica, Automatica e Gestionale at Università di Roma, La Sapienza, working with Prof. Giuseppe de Giacomo on his Advanced ERC project WhiteMech.
Education
- From March 2012 to February 2015, he was a PhD student at the University of Naples “Federico II” under the supervision of Prof. Aniello Murano. During his PhD, he was a visiting research scholar at Rice University under the supervision of Prof. Moshe Vardi.
Background
- Research interests include many aspects of formal methods for artificial intelligence, particularly verification and synthesis for multi-agent systems, knowledge representation, strategic reasoning, logics, games, and automata theory.
Miscellany
- He is an Associate Editor of ACM AI Letters and a Topic Editor for Verifying Autonomy: Formal Methods for Reliable Decision-Making. He is a member of AIxIA (Italian Association for Artificial Intelligence) and GNCS (Italian Association for Scientific Calculus). He supports CAIRNE.
