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.   His research interests include: Formal aspects of system specification, verification and synthesis. Formal languages, automata theory, real-time systems, temporal logics, mu-calculus, model checking, game theory.

Short Resume (Curriculum in English and Italian )
Research:
     Publications
     I am involved in: GANDALF 2010
     Current PhD Students:
             Fabio Mogavero
             Alessandro Bianco
My Pictures
My Bookmarks [People], [Conferences]
Teaching (mostly in Italian)

murano AT na.infn.it