Aniello Murano (alias Nello) is an Assistant Professor (Ricercatore) in Computer Science at the Sezione di Informatica, Dipartimento di Scienze Fisiche, of the Università degli Studi di Napoli.   Please, Wait while you will be redirect in 5 seconds or click here to go to my new home page   Till February 2005, he was a Research Fellow with the Dipartimento di Informatica ed Applicazioni "Renato M. Capocelli" at the "Università di Salerno"

His research interests include Automata and Formal Languages Theory, Temporal logics, Formal Methods for System Specification and Verification, Model Checking, Game Theory.