Università di Roma, La Sapienza, Dipartimento di Informatica
Viale Regina Elena 295, 00161, Roma (RM), Building E (RM113), Room E310
+39.06.49255.470
ti.1amorinu.id@illerep

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

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.

In November 2020, I obtained the National Scientific Qualification for Associate Professor in Computer Science (Scientic Area INF/01).
In May 2021, I obtained the National Scientific Qualification for Associate Professor in Mathematical Logic (Scientific Area MAT/01).

Research

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.

My recent focus has been on Rational Synthesis, which concerns 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.

I am member of AIxIA, Italian Association for Artificial Intelligence.
I am member of AILA, Italian Association for Logics and Applications.
I am member of GNCS, Italian Association for Scientific Calculus.

Events

LAMAS&SR 2021 (Chair)
IJCAI 2022-2024 (Program Committee Board)
AAAI 2022 (Programm Committee)
AAMAS 2022 (Programm Committee)

Past Events

Chair: RADICAL 2019.
Senior Program Committee: IJCAI 2021.
Program Committee: AAAI 2021, AAMAS 2021, IJCAI 2020, EUMAS 2020, AAMAS 2020, ECAI 2020, IJCAI 2019, AAMAS 2019, EUMAS 2018, IJCAI 2018, AAMAS 2018, AAAI 2018, EUMAS 2017, SR 2017, CILC 2017, IJCAI 2017, IJCAI 2016, AAMAS 2016.
Organizing Committee: SR 2015, SR 2013, GAMES 2012.

Teaching

PhD Courses

2021-2022: Game-Theoretic Approach to Planning and Synthesis, National PhD Program in Artificial Intelligence.
2018-2019: Game Theory and Formal Methods Short Course, Computer Science Program, University of Leicester.

Undergraduate and Graduate

2021-2022: Informatica, Undergraduate, Tecnologie per la Conservazione e il Restauro di Beni Culturali, Sapienza University of Rome.
2021-2022: Basi di Dati, Undergraduate, Informatica, Sapienza University of Rome (Exams support).
2021-2022: Geometria, Undergraduate, Ingegneria Informatica e Automatica, Sapienza University of Rome.

Tutoring

2020-2021: Formal Methods, Graduate, Ingegneria Informatica e Automatica, Sapienza University of Rome.
2020-2021: Reasoning Agents, Graduate, Ingegneria Informatica e Automatica, Sapienza University of Rome.
2017-2018: Computer-Aided Formal Verification, Undergraduate and Graduate, Computer Science, University of Oxford.
2016-2017: Computational Complexity, Undergraduate and Graduate, Computer Science, University of Oxford.
2016-2017: Computer-Aided Formal Verification, Undergraduate and Graduate, Computer Science, University of Oxford.

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.

Giuseppe Perelli