Giuseppe Perelli
workDept. of Computer Science, Sapienza University of Rome
Building E, Room E106
Viale Regina Elena 295, 00161 Roma (RM)
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 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.
Selected Talks
- From Synthesis to Rational Synthesis: A Logic-Based Approach to Multi-Agent Systems
- 25/05/2023: Seminar Talk, University of Southampton
- 14/11/2022: Sapienza LoC3 Seminar, Sapienza University of Rome
- 02/09/2022: LMAS Workshop 2022, IRIT – Université Toulouse 1 Capitole
- 10/04/2019: Formal Methods for Artificial Intelligence Seminars, Imperial College London
- 29/03/2018: Seminar Talk, University of Naples ‘Federico II’
- Trace Alignment and Timed-Trace Alignment: An Automata-Based Approach
- 30/11/2021: Research Seminar Winter Term 2021/22, QuantLA Group – TU Dresden, Universitat Leipzig
- Logics for Multi-Agent Systems Verification
- 15/12/2015: Seminar Talk, Imperial College London
- Strategy Logic: A Powerful Formalism for Game-Theoretic Issues
- 24/11/2014: Seminar Talk, University of California Santa Cruz
- Le Logiche Temporali e di Strategia nell’Ambito della Verifica Formale
- 05/04/2013: 2013 SeLP Meeting, University of Naples ‘Federico II’
news
Jul 23, 2024 | Abstract accepted at ActSynt’24! See you in Santiago de Compostela! |
---|---|
Jul 22, 2024 | Abstract accepted at ICTCS’24! See you in Turin! |
Jul 11, 2024 | Paper accepted at KR’24! |
Jul 10, 2024 | Two abstracts accepted at AAPEI’24! See you in Santiago de Compostela! |
Jul 04, 2024 | Paper accepted at ECAI’24! See you in Santiago de Compostela! |
Jul 03, 2024 | Paper accepted at ISoLA’24! |
Apr 18, 2024 | Paper accepted at IJCAI’24! |
Mar 18, 2024 | Course on “Game-Theoretic Approach to Temporal Synthesis” accepted at ESSAI’24! See you in Athens! |