Aniello Murano (alias Nello) is an Associate Professor
(habilitated as Full Professor 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:
Formal aspects of system specification, verification, and synthesis. Formal languages,
automata theory, real-time systems, pushdown systems, hierarchical systems, temporal logics, mu-calculus,
model checking, module checking, game theory, multi-agent systems,
logics for strategic reasoning.