About me:  


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, model checking, module checking. Game theory, multi-agent systems, logics for strategic reasoning. Formal languages, automata theory, real-time systems, pushdown systems, hierarchical systems, temporal and modal logics.

Aniello Murano is an Associate Professor in Computer Science at the Department DIETI of the Università degli Studi di Napoli Federico II since November 2010. He joined the Federico II university in March 2005 as an Assistant Professor (Ricercatore).

He got the PhD in Computer Science in February 2003 at the Università degli Studi di Salerno, working under the supervision of Margherita Napoli, Salvatore La Torre, and Moshe Y. Vardi. In 2001 and 2002, under the PhD program, he has been a visiting researcher at the Rice University of Houston, working under the supervision of Moshe Y. Vardi.

From October 2002 until March 2005 he has been a Post-Doctoral Researcher, initially at the Università degli Studi di Salerno, and then at the Hebrew University of Jerusalem, working with Orna Kupferman.

He has been participating to several research projects since he started his PhD program, under national and international funding, being the principal investigator and coordinator for some of them. He collaborates with several research groups in Italy and abroad. He regularly visits researchers in Italy and abroad as well as he receives the visits of students and researchers. He regularly attends conferences and has helped to organize a few. He is the co-chair of the conference GandALF 2012 and the chair of the conference GAMES 2012, both held in Napoli, and the co-chair of the workshops SR 2013-15 held respectively in Rome, Grenoble, and Oxford. He is the author and co-author of more than 100 scientific publications, the majority of them appearing in top rated (A and A*) conferences and journals. He regularly get invited to give talks as well as participate in the Programme Committee board of top rated conferences in AI. Since 2013 he is in the Steering Committee of Highlights. Since 2015 he is in the Editorial Board of Information and Computation and AMAI.

Since 2008, he joined the Phd Program Board in Computer Science of the Università degli studi di Salerno and in 2011 the one at the Università degli studi di Napoli. Since 2005 he has been supervisor of several master and PhD Students, most of them awarded with prizes. He is also the supervisor of post-doctoral researchers and Marie-Curie fellows.

He regularly teaches courses in computer science at his department. In 2013 he has tought a course at the International ESSLLI school. In the years he has held several positions in teaching organization: lifelong-learning project leader, student orientation coordination, counselor of the administrative Polo office, to mention a few.

In January 2010 he has been awarded with Orna Kupferman of the International biennal Vigevani Research Prize.

Since 2013 he is the co-founder of the Spin-off IMAPPS.

(last update September 2015)