Giuseppe Perelli

di-vertical-transparent.png
OxChair.jpg

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! :canada:
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è . :netherlands:
Dec 01, 2024 I have been appointed Associate Professor at Sapienza University of Rome! :partying_face:
Nov 07, 2024 Paper accepted at LMCS!
Jul 23, 2024 Abstract accepted at ActSynt’24! See you in Santiago de Compostela! :es:
Jul 22, 2024 Abstract accepted at ICTCS’24! See you in Turin! :it:
Jul 11, 2024 Paper accepted at KR’24!

selected publications

  1. TOCL
    Reasoning about Quality and Fuzziness of Strategic Behaviours.
    2023
  2. TOCL
    Expressiveness and Nash Equilibrium in Iterated Boolean Games
    2021
  3. AIJ
    Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games.
    2020
  4. TOCL
    Reasoning about Strategies: On the Model-Checking Problem.
    Mogavero, FabioMurano, AnielloPerelli, Giuseppe, and Vardi, Moshe
    2014
  5. AAAI-24
    Pure-Past Action Masking.
    In 38th Annual AAAI Conference on Artificial Intelligence, AAAI 2024
  6. KR-22
    Automatic Synthesis of Dynamic Norms for Multi-Agent Systems.
    In 19th International Conference on Principles of Knowledge Representation and Reasoning (KR) 2022
  7. AAMAS-19
    Enforcing Equilibria in Multi-Agent Systems.
    Perelli, Giuseppe
    In Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS ’19, Montreal, QC, Canada, May 13-17, 2019 2019
  8. IJCAI-18
    Synthesis of Controllable Nash Equilibria in Games with Quantitative Objectives.
    Almagor, ShaullKupferman, Orna, and Perelli, Giuseppe
    In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden. 2018