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 reactive system specification, verification, and synthesis, model checking, module checking. Strategic reasoning in AI, 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 laurea degree (cum laude) in Computer Science at the Università degli Studi di Salerno in November 1997 and, at the same university, the PhD in Computer Science (ranked as first of his class) in February 2003, working under the supervision of Proff. 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 (TX-USA), 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 (Israel), working with Prof. Orna Kupferman.

Before starting the Phd, for six months in 1998, he has been working as a programmer and software analist at the software house Geepin Engineering S.P.A. Then, he has attended a one-year Master at the University of Salerno in the field of image processing and multimedia.

He is the founder and the scientific leader of laboratory ASTREA (Automated Strategic Reasoning) at the Università degli Studi di Napoli Federico II. Since 2010, ASTREA has had a central role as a bridge between the international formal methods and AI communities concerning strategic reasoning. One of the greatest success of ASTREA has been the introduction of Strategy Logic, a largely appreciated logic for the Strategic Reasoning, which has attracted the attention and collaboration with several well-knwon researchers around the world.

In the past 20 years, he has been participating to several research projects, under national and international funding, being the principal investigator and coordinator for some of them. Among the others, there are national PRIN and FIRB projects, and several FP6, FP7 and H2020 European projects. 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 has been the co-chair of the conference GandALF 2012 and the chair of the conference GAMES 2012, both held in Napoli, as well as the co-chair of ICTCS and CILC editions held in Napoli in 2017. He has been the co-promoter of the international workshop GAMES. Together with Prof. Moshe Vardi, he has been the promoter of the international workshop Strategic Reasoning (SR) and co-chair of most of the annual editions (held in Rome, Greenoble, Oxford, Liverpool), since it started in 2012 (selected papers have been yearly published in the journal Information and Computation). It has been also the promoter of the international workshop FMAI (formal methods in AI) in 2017, together with some colleagues from INRIA (France). Starting in 2016, he has been the principal investigator, for the Italian side of a bilateral International Exchanges Award project at the Royal Society in UK.

He is the author and co-author of more than 150 scientific publications, the majority of them appearing in top rated (A and A*) conferences and journals. Many of his publications are well cited in the scientific literature and some have been awarded as best paper. According to Google Scholar, December 2020, his h-index is 27 and his i10-index is 63, with more than 2400 references. He has been the editor of special issue appearing in top ranked journals. He regularly get invited to give talks as well as annualy participate in the Programme Committee board of top rated conferences in AI and Formal methods, among the others there AAAI, AAMAS, IJCAI, KR, ECAI, EUMAS, MFCS, FoSSaCS, TIME. He also act regularly as a reviewer of several top ranked journal in AI and Formal methods. Since 2013 he has been for 5 years in the Steering Committee of the workshop Highlights. Since 2015 he is in the Editorial Board of Information and Computation, Fundamenta Informaticae, and Annals of Mathematics and Artificial Intelligence. He is a member of the GNCS group in Italy, since 2013.

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 10 PhD Students, most of them awarded with prizes. He has been the supervisor and primary coordinator of 3 Marie-Curie H2020 fellows and the supervisor of 8 post-doctoral researchers. He has also been the supervisor of 2 internship students coming from INRIA. He regularly teaches courses in computer science at his department both at the bachelor and master degree level. Also he teaches courses at PhD students. In 2013 he has tought a course on Strategic Reasoning at the International ESSLLI school. In the years he has held several positions in teaching organization at the Univesity of Salerno: 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. In 2013 he has been the co-founder of the accademic SPIN-off company IMAPPS, at the University of Napoli (last update January 2021)