Giuseppe Perelli


workDept. of Computer Science, Sapienza University of Rome
Building E, Room E106
Viale Regina Elena 295, 00161 Roma (RM)
Welcome to my Website! I am an Associate Professor at Dipartimento di Informatica, Università di Roma, La Sapienza.
My research interests regard many aspects of Formal Methods for Artificial Intelligence. In particular, I work on verification and synthesis for multi-agent systems, knowledge representation, strategic reasoning, logics, games, and automata theory.
Awards
In 2023, I received the “Marco Somalvico” Young Researcher Award from the Italian Association for Artificial Intelligence as best under 37 Italian researchers who autonomously contributed to advance the state-of-the-art in the field.
In 2012, I received the 3+2 Award from the Italian Association for Logics and its Applications, for Best Master Thesis in Logics.
Memberships
- I am member of AIxIA, Italian Association for Artificial Intelligence.
- I am member of GNCS, Italian Association for Scientific Calculus.
- I support CLAIRE.
Short Bio
From March 2012 to February 2015, I have been PhD student at University of Naples “Federico II” working under the supervision of Prof. Aniello Murano. During my PhD, I have been visiting research scholar at Rice University under the supervision of Prof. Moshe Vardi. On April 2015, I joined University of Oxford as Postdoctoral Research Assistant, working with Prof. Michael Wooldridge on his Advanced ERC project RACE. On July 2018, I moved to University of Leicester and then, in June 2019, Chalmers / University of Gothenburg to work with Prof. Nir Piterman as Research Associate on his Consolidator ERC project dSynMA. From January 2020 to November 2021, I have been at Dipartimento di Ingegneria Informatica, Automatica e Gestionale at Università di Roma, La Sapienza as Research Associate, working with Prof. Giuseppe de Giacomo on his Advanced ERC project WhiteMech.
My Erdős number is 3
news
Jun 06, 2025 | Paper accepted at JAAMAS! |
---|---|
Apr 29, 2025 | Paper accepted at IJCAI’25! See you in Montreal! ![]() |
Mar 25, 2025 | I am visiting the Intelligent Systems Group at the University of Utrecht. I will also give a talk at the S4S Cafè . ![]() |
Dec 01, 2024 | I have been appointed Associate Professor at Sapienza University of Rome! ![]() |
Nov 07, 2024 | Paper accepted at LMCS! |
Jul 23, 2024 | Abstract accepted at ActSynt’24! See you in Santiago de Compostela! ![]() |
Jul 22, 2024 | Abstract accepted at ICTCS’24! See you in Turin! ![]() |
Jul 11, 2024 | Paper accepted at KR’24! |