Aniello Murano is an Associate Professor
(with Full Professor habilitation since April 2017) in Computer Science at the
Ingegneria Elettrica e Tecnologie dell'Informazione
Università degli Studi di Napoli Federico II.
His research interests include:
Artificial intelligence and multi-agent systems: Formal aspects for the strategic reasoning. Specification, verification, and synthesis of open systems.
Formal languages, automata theory, real-time systems, pushdown systems, hierarchical systems, temporal logics, mu-calculus,
model checking, module checking, game theory, logics for the strategic reasoning.