Giuseppe Perelli

  • Dipartimento di Ingegneria Informatica, Automatica e Gestionale
  • Università di Roma, La Sapienza
  • Via Ariosto, 25, 00185 Roma RM, Italy
  • Room:B213
  • phone +39 06-7727-4012 (might be inactive)
  • email ti.1amorinu.gaid@illerep

Since January 2020, I am Research Associate at Dipartimento di Ingegneria Informatica, Automatica e Gestionale at Università di Roma, La Sapienza, working with Prof. Giuseppe de Giacomo on his Advanced ERC project WhiteMech.

NEWS On May 2021, I obtained the National Scientific Qualification for Associate Professor in Mathematical Logic (Italian only).

NEWS On November 2020, I obtained the National Scientific Qualification for Associate Professor in Computer Science (Italian only).

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, as well as logic, games, and automata theory.

My recent focus has been on Rational Synthesis, that concerns the problem of the synthesis of equilibria for games that are used to model multi-agent interacting scenarios such as autonomous-driving cars, automated warehouse, 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.

Short bio

From February 2012 to March 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 until December 2019.

Events

Publications

Most of the papers available from this list appear in print, and the corresponding copyright is held by the publisher. While the papers can be used for personal use, redistribution or reprinting for commercial purposes is prohibited. Preproceedings versions are available upon request.