Aniello Murano  

Aniello Murano is a Professor in Computer Science at the Dipartimento di Ingegneria Elettrica e 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; formal languages, automata theory, real-time systems, pushdown systems, hierarchical systems, temporal logics, mu-calculus, model checking, module checking, synthesis, game theory, parity games, logics for the strategic reasoning.