Assistant Professor at the Department of Computer Science from Sapienza University of Rome

Giuseppe Perelli is an Assistant Professor at the Department of Computer Science from Sapienza Universiy of Rome. His research interests regard many aspects of formal methods for Artificial Intelligence. In particular, he works on verification and synthesis for multi-agent systems, knowledge representation, strategic reasoning, logics, games, and automata theory. On these topics, he has published around 40 scientific papers, mainly in top-rated venues in AI and Formal Methods.