Aniello Murano  

Aniello Murano is a Professor in Computer Science at the Dipartimento di Ingegneria Elettrica e delle Tecnologie dell'Informazione of the Università degli Studi di Napoli Federico II.
His research interests include:
Artificial Intelligence; Formal Aspects for the Strategic Reasoning in Multi-Agent Systems under Perfect and Impferfect Information; Specification, Verification, and Synthesis of Reactive Systems, Model Checking and Module Checking; Formal Languages, Automata Theory, Real-time Systems, Pushdown and Hierarchical Systems; Temporal and Modal Logics, Logics for the Strategic Reasoning in AI; Game Theory, Parity Games, Solution Concepts, Automated Mechanism Design.

Synthesis of Diplomatic Strategies in Multi-Agent Systems. Research project
ECAI 2025 (Program co-chair).
A paper accepted at JELIA 2023.
H2020-MSCA project SEAL (Principal coordinator). Welcome to Munyque Mittelman (Post-doc Principal Investigator).
Welcome to Davide Catta, Post-doc @ASTREA.
Welcome to Francesco Chiariello, Post-doc @ASTREA.
A paper accepted at KR 2023.
Two papers accepted at IJCAI 2023.
A paper accepted at AAAI 2023. Press release: A newspaper article: il Mattino
Tutorial accepted @ AAMAS 2023 and @ KR 2023
EUMAS 2023 and CSL 2024 will be held UNINA.
In KR Top 100, best AI-2000 world researchers (see AMiner webpage).
We are hiring: Research, Post-doctoral, and PhD positions in Resilient AI.