Aniello Murano   Associate Professor   Aniello Murano (alias Nello) is an Associate Professor in Computer Science at the Sezione di Informatica, Dipartimento di Scienze Fisiche, 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, temporal logics, mu-calculus, model checking, game theory.

 
 
Short Resume in English and Italian . Curriculum in English and Italian.
Research:
     Publications ( Wordle)
     I am/was involved in: GAMES 2009, GANDALF 2010, GANDALF 2011
     Prof. Moshe Y. Vardi's talk on June 20, 2011: And Logic Begat Computer Science: When Giants Roamed the Earth
     Former PhD Students:
             Fabio Mogavero
             Alessandro Bianco
Teaching (mostly in Italian) NEWS: Pubblicati i risultati della prova di LASD del 30 gennaio 2012.
     Disponibilita' di tesi di laurea magistrale

---

                 

---

My Erdös number is 3: P. Erdös -> Joel H. Spencer -> M.Y. Vardi -> A. Murano

---

Preferred quote:

"Quando i figli presumono di essere uguali ai padri, quando i maestri tremano davanti agli scolari e preferiscono adularli anziche' educarli, quando si disprezzano le leggi e non si sopporta piu' alcuna autorita', allora e' segno che sta per cominciare la tirannide". PLATONE (La Repubblica)

---

Contact Information:
Sezione di Informatica
Dipartimento di Scienze Fisiche
Università degli Studi di Napoli "Federico II"
Via Cinthia, Complesso Monte S. Angelo,
I-80126 Napoli, ITALY.
 
Room 0F-29 B
Phone: +39 081 679279
Fax: +39 081 676346
E-mail: murano AT na.infn.it
Nello Murano Nello

---