Notizie
Data Management and Analysis, A.A. 2024-25 (Corso di Laurea in ACSAI)
- I recommend enrolling into this Google Classroom via your institutional email @studenti.uniroma1.it to receive updates and interact with the instructor.
Basi di Dati Modulo 1, A.A. 2024-25 (Corso di Laurea in Informatica)
- Si raccomanda di iscriversi al Google Classroom tramite il proprio account istituzionale @studenti.uniroma1.it per poter ricevere aggiornamenti e interagire con il docente.
Last Update/Ultimo Aggiornamento 27/09/2024
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.