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.

In KR Top 100, best AI-2000 world researchers (see AMiner webpage).
We are hiring: Research, Post-doctoral, and PhD positions in Resilient AI.
Just accepted: Tutorial on "Strategic Reasoning in Automated Mechanism Design" @ AAMAS 2023 and @ KR 2023!!!
Just accepted: INDAM 2023 Project Leader "Strategic Reasoning in Mechanism Design"
New project: Game Development Based on Multi-agent Systems. In collaboration with Universitat Jaume I, Spain. Come for a thesis!
Press release: A newspaper article: il Mattino regading our AAAI'23 paper!