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, temporal logics, mu-calculus, model checking, game theory.

 
 
Short Resume in English and Italian.
Research:
     Publications ( Wordle)
     Activities: Highlights of Logic, Games and Automata - Paris 2013, Strategy Logic at ESSLLI 2013
     Previous activities: SR 2013(co-chair), GandALF 2012(co-chair), GAMES 2012(chair), GandALF 2011, GandALF 2010, GAMES 2009.
     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: Prova di calcolabilità e complessità per il giorno 17 giugno 2013, ore 8:45 - Laboratorio 0F29. E' necessaria la prenotazione almeno 5 giorni prima della prova. La prova successiva si terrà nella terza settimana di luglio (dal 15 al 19).
     NEWS: Prova intercorso di Algortimi e Strutture dati per il 14/06/2013, ore 8:20 laboratorio Giove. La prova vale come esonero per l'esame del 15 giugno. Librerie
     Discussione progetti: 14/06/2013 ore 14:00 e 17/06/2013 ore 9:00. Laboratorio 0F29. Altre date saranno disponibili nella seconda metà di luglio.
     Disponibilita' di tesi di laurea magistrale

"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)

murano AT na.infn.it