Giuseppe Perelli

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 problems for multi-agent systems, knowledge representation, strategic reasoning, logic, games, and automata theory. For more details, visit my research page.

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. 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.

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.