Giuseppe Perelli

di-inline-transparent.png
OxChair.jpg

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! :es:
Jul 22, 2024 Abstract accepted at ICTCS’24! See you in Turin! :it:
Jul 11, 2024 Paper accepted at KR’24!
Jul 10, 2024 Two abstracts accepted at AAPEI’24! See you in Santiago de Compostela! :es:
Jul 04, 2024 Paper accepted at ECAI’24! See you in Santiago de Compostela! :es:
Jul 03, 2024 Paper accepted at ISoLA’24!
Apr 18, 2024 Paper accepted at IJCAI’24!

selected publications

  1. TOCL
    Reasoning about Quality and Fuzziness of Strategic Behaviours.
    2023
  2. AIJ
    Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games.
    2020
  3. TOCL
    Reasoning about Strategies: On the Model-Checking Problem.
    Mogavero, FabioMurano, AnielloPerelli, Giuseppe, and Vardi, Moshe
    2014
  4. KR-24
    Incentive Design for Rational Agents.
    In 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024
  5. KR-22
    Automatic Synthesis of Dynamic Norms for Multi-Agent Systems.
    In Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning (KR) 2022
  6. 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