Me

Aniello Murano  
Associate Professor
 
Aniello Murano (alias Nello) is an Associate 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:
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.


Short Resume in English and Italian.
 

Contact Information:
Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione
Università degli Studi di Napoli "Federico II"
Via Claudio, 21
80125 Napoli, ITALY.
 
Phone: +39 081 679279
E-mail: murano(AT)na.infn.it
Nello Murano Nello

CSS Valido! Valid HTML 4.01! Level A conformance icon, W3C-WAI Web Content Accessibility Guidelines 1.0