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, Automatic Mechanism Design.