Giuseppe Perelli
workDept. of Computer Science, Sapienza University of Rome
Building E, Room E106
Viale Regina Elena 295, 00161 Roma (RM)
I am Assistant Professor (RTD-B) 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.
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.
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.
news
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! |
Jul 10, 2024 | Two abstracts accepted at AAPEI’24! See you in Santiago de Compostela! |
Jul 04, 2024 | Paper accepted at ECAI’24! See you in Santiago de Compostela! |
Jul 03, 2024 | Paper accepted at ISoLA’24! |
Apr 18, 2024 | Paper accepted at IJCAI’24! |