• I am Assistant Professor (RTD-B) at Dipartimento di Informatica, Università di Roma, La Sapienza.
• Email me: perelli@di.uniroma1.it
• My Website: https://giuseppeperelli.github.io/

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.

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.

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.

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.

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.

• From Synthesis to Rational Synthesis: A Logic-Based Approach to Multi-Agent Systems

  • 25/05/2023: Seminar Talk, University of Southampton
  • 14/11/2022: Sapienza LoC³ Seminar, Sapienza University of Rome
  • 02/09/2022: LMAS Workshop 2022, IRIT -- Université Toulouse 1 Capitole
  • 10/04/2019: Formal Methods for Artificial Intelligence Seminars, Imperial College London
  • 29/03/2018: Seminar Talk, University of Naples 'Federico II'

• Trace Alignment and Timed-Trace Alignment: An Automata-Based Approach

  • 30/11/2021: Research Seminar Winter Term 2021/22, QuantLA Group -- TU Dresden, Universitat Leipzig

• Logics for Multi-Agent Systems Verification

  • 15/12/2015: Seminar Talk, Imperial College London

• Strategy Logic: A Powerful Formalism for Game-Theoretic Issues

  • 24/11/2014: Seminar Talk, University of California Santa Cruz

• Le Logiche Temporali e di Strategia nell'Ambito della Verifica Formale

  • 05/04/2013: 2013 SeLP Meeting, University of Naples 'Federico II'