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.
Research:
     Publications ( Wordle)
     I was involved in: GAMES 2009, GANDALF 2010, GANDALF 2011.
     Program co-chair of GANDALF 2012
     I am organizing the annual meeting ESF GAMES 2012
     Prof. Moshe Y. Vardi's talk on June 20, 2011: And Logic Begat Computer Science: When Giants Roamed the Earth
     Post-Docs:
             Fabio Mogavero
     PhD Students:
             Giuseppe Perelli
             Loredana Sorrentino
     Former PhD Students:
             Fabio Mogavero
             Alessandro Bianco
Teaching (mostly in Italian) News: A causa di problemi organizzativi, la traccia del primo progetto di LASD sara' distribuita agli studenti nella prossima lezione di laboratorio, ovvero giovedi' 12 Aprile
     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

---