GIUSEPPE PERELLI
Structure:
Dipartimento di INFORMATICA
SSD:
INFO-01/A

Notizie

Data Management and Analysis, A.A. 2025-26 (Corso di Laurea in ACSAI)

Basi di Dati Modulo 1, A.A. 2025-26 (Corso di Laurea in Informatica)

Mathematical Logics for Computer Science, A.A. 2024-25 (Corso di Laurea Magistrale in Computer Science)

Last Update/Ultimo Aggiornamento 15/07/2025

Orari di ricevimento

su appuntamento: perelli@di.uniroma1.it

Curriculum

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.

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.

Insegnamenti

Codice insegnamentoInsegnamentoAnnoSemestreLingua CorsoCodice corso
10620665LOGICS AND REASONINGITAComputer Science - Informatica33508
10620665LOGICS AND REASONINGITAComputer Science - Informatica33508
1047636MATHEMATICAL LOGIC FOR COMPUTER SCIENCEITAComputer Science - Informatica33508
10595617DATA MANAGEMENT AND ANALYSIS - UNIT IITAApplied Computer Science and Artificial Intelligence – Informatica Applicata e Intelligenza Artificiale33502
1047636MATHEMATICAL LOGIC FOR COMPUTER SCIENCEITAComputer Science - Informatica33508
1015887BASI DI DATI - I MODULOITAInformatica33503
1015887BASI DI DATI - I MODULOITAInformatica33503