Giuseppe Perelli


Dept. of Computer Science, Sapienza University of Rome

work Viale Regina Elena 295, 00161 Roma (RM)

Building E, Room E310


phone +39.06.49255.470

I am Assistant Professor (RTD-B) at Dipartimento di Informatica, Università di Roma, La Sapienza.

newsI am currently visiting the University of Oxford. You can reach me out via email to arrange an online meeting, if needed.

My research interests regard many aspects of formal methods for Artificial Intelligence. In particular, I work on verification and synthesis problems for multi-agent systems, knowledge representation, strategic reasoning, logic, games, and automata theory.

Logic and Automata

During my PhD, I focused on the study of Logics for the Verification and Synthesis of strategic behavior in multi-agent systems. In particular, I gave my decisive contribution to the development of Strategy Logic: a language now widely applied in AI and formal methods to reason about strategies and actions in multi-agent systems.

Rational Synthesis

During my years as a research associate at the University of Oxford, University of Leicester, and Chalmers University, my main focus was on Rational Verification and Synthesis, concerning the synthesis of equilibria for games that are used as a modelling tool for multi-agent interacting scenarios, such as autonomous-driving cars, automated wharehouse, and the like. I have contributed to the development of EVE: a formal verification tool for the automated analysis of temporal equilibrium properties of concurrent and multi-agent systems.

Finite Trace

I focused on defining and solving synthesis variants of finite temporal specifications. The problem has direct applications in the areas of planning, business process management, as well as robotics, where agents tasks are assumed to be of finite duration.

Normative Systems

My recent focus has been on Normative Systems, concerning the problem of regulating MAS by means of norms and other formally defined machineries, employed to guarantee correct-by-construction behaviour of systems from a global/designer point of view.

Available Theses

I am open to supervise Bs and Ms Theses. These can be oriented towards surveys (for Bs), implementations (for Bs and Ms), or research problems (mostly Ms but also Bs). The topics cover several areas of AI, Formal Methods, and Multi-Agent Systems, including:

  • Automated Reasoning, including logics representation and reasoning about strategies.
  • Verification, Synthesis and Rational Synthesis, including single and multi-agent systems.
  • Linear-Time Temporal Logics, including automata-theoretic and game-theoretic approach in Formal Verification.
  • Normative Systems, including mechanism and multi-agent system design.
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.

Apr 15, 2023 I will be visiting Michael Wooldridge at the University of Oxford. See you in Oxford! :uk:
Mar 2, 2023 Course on “Game-Theoretic Approach to Planning and Synthesis” accepted at ESSAI’23! See you in Ljubljana! :slovenia:
Feb 10, 2023 Workshop proposal on Recent Advances in Concurrency and Logic (RADICAL) accepted at CONFEST’23! See you in Antwerp! :belgium:
Nov 14, 2022 I will give a talk at Sapienza LoC3 Seminar. See you in Rome! :it:
Oct 20, 2022 I am proceedings chair of ICPM’23.
Aug 1, 2022 Paper accepted at TIME’22!
Jul 25, 2022 Invited to attend Munyque Mittelmann’s Thesis Defence and to talk at LMAS’22. See you in Toulouse! :fr:
May 18, 2022 PhD course on Game-Theoretic Approach to Synthesis and Games. Check it out!
Apr 15, 2022 Paper accepted at KR’22! See you in Haifa! :israel:
Apr 2, 2022 Presentation accepted at Highlights’22! See you in Paris! :fr: