Aniello Murano   Aniello Murano is a Professor in Computer Science at the Dipartimento di Ingegneria Elettrica e delle Tecnologie dell'Informazione of the Università degli Studi di Napoli Federico II.   His research interests include: Artificial Intelligence; Formal Aspects for the Strategic Reasoning in Multi-Agent Systems under Perfect and Impferfect Information; Specification, Verification, and Synthesis of Reactive Systems, Model Checking and Module Checking; Formal Languages, Automata Theory, Real-time Systems, Pushdown and Hierarchical Systems; Temporal and Modal Logics, Logics for the Strategic Reasoning in AI; Game Theory, Parity Games, Solution Concepts, Automated Mechanism Design.

ECAI 2025 (Program co-chair).
Deputy Chair EURAMAS.
Two papers accepted at KR 2025.
One paper accepted at AAAI 2026.
In KR Top 100, best AI-2000 world researchers (see AMiner webpage).
We are hiring: Research, Post-doctoral, and PhD positions in Resilient AI.

---

• Short Resume
  
  
• Publications (DBLP, Scholar, Google Profile, SCOPUS, Researchgate)


• Scientific Director of the ASTREA (Automated STrategic REAsoning) Laboratory.


• Main Scientific Activities and Awards:
  • I am serving as Chair of CSL 2024 (with Alexandra Silva)
  • I am serving as Sister Chair @ IJCAI 2023
  • I am serving as Chair of EUMAS 2023 (with Vadim Malvone)
  • Visiting Professor appointment at IRIT - Toulouse, summer 2023
  • I will give a Tutorial @ KR 2023 on Strategic Reasoning in Automated Mechanism Design
  • I will give a Tutorial @ AAMAS 2023 on Strategic Reasoning in Automated Mechanism Design
  • PNRR Research Unit Coordinator 2023-2025 on Resilient Strategic Reasoning in AI.
  • INDAM 2023 Project Leader: Strategic Reasoning in Mechanism Design
  • I am serving as co-Chair of SPIRIT 2022@AIxIA 2022 (with Nicola Gatti)
  • PRIN 2020 Unit Coordiator. Resilient AI-Based Self-Programming and Strategic Reasoning (RIPER), PE6_7: Artificial Intelligence, 2022-2025
  • JPMorgan Faculty Research Award 2022 (with Giuseppe De Giacomo)
  • FESR Borgo 4.0. Scientific Coordinator. SENECA.
  • Visiting Scientist at Simons Insitute, Berkley, January-May 2021
  • I am serving as Chair of LAMAS-SR 2021
  • Bilateral Italy-France project 2020 on Quantitative Strategy Logic (co-PI with Nicolas Markey)
  • I am serving as Chair of FMAI 2019
  • Italian Scientific Abilitation as Full Professor in Engineering Computer Science (March 2018)
  • Italian Scientific Abilitation as Full Professor in Computer Science (april 2017)
  • I am serving as General Chair of CILC 2017
  • I am serving as Chair of FMAI 2017
  • I am serving as Chair of ICTCS 2017
  • I am serving as Chair of SR 2017
  • Royal Society Award 2016 (co-PI with Alessio Lomuscio)
  • Horizon 2020 LoGIcInMAS. Principal Coordinator 2016-2018
  • Indam Co-Fund Income Marie Curie project. Principal Coordinator 2015-2017
  • Best Paper Award PRIMA 2015
  • I am serving as Chair of SR 2014
  • I will give a Tutorial @ ESSLLI 2013
  • I am serving as Chair of SR 2013
  • I am serving as Chair of GAMES 2012
  • I am serving as Chair of GandALF 2012
  • Vigevani Research Project Prize 2010 (co-PI with Orna Kupferman)
  
  
• Editorial Board memberships:
  • Editorial Board member of the Journal of Artificial Intelligence Research (JAIR)
  • Editorial Board member of Artificial Intelligence Review
  • Editorial Board member of Knowledge-Based Systems (KNOSYS)
  • Editorial Board member of ACM Computing Surveys (CSUR)
  • Editorial Board member of the International Journal of Intelligent Systems (IJIS)
  • Editorial Board member of Knowledge and Information Systems (KAIS)
  • Editorial Board member of Journal of Computer and System Sciences (JCSS)
  • Editorial Board member of Information and Computation (I&C)
  • Associate Editor of the Annals of Mathematics and Artificial Intelligence (AMAI)
  • Associate Editor of Fundamenta Informaticae (FI) (2019-2021)
  • Highlights of Logic, Games and Automata (Steering Committee, 2012-2018)
• Programme Committee roles (since 2014):
  • 2023: AAAI 2023, AAMAS 2023(spc), EUMAS 2023(chair), IJCAI 2023, ECAI 2023, ICTAI 2023, GAIW 2023, LAMAS&SR-2023, PAAMS 2023, ICLP 2023
  • 2022: AAAI 2022(spc), IJCAI 2022(spc), LICS 2022, AAMAS 2022(spc), PRIMA 2022, PAAMS 2022, LAMAS-SR 2021 SPIRIT 2022.
  • 2021: AAAI 2021, IJCAI 2021(spc), AAMAS 2021(spc), KR 2021, PAAMS 2021, LAMAS-SR 2021 (co-chair).
  • 2020: AAAI 2020, AAMAS 2020, IJCAI 2020, KR 2020, ECAI 2020(spc), ICART 2020, PAAMS 2020, FMAI 2020.
  • 2019: AAAI 2019, AAMAS 2019(spc), IJCAI 2019, PAAMS 2019, FMAI 2019 (co-chair), RADICAL 2019, SR 2019.
  • 2018: AAAI 2018, AAMAS 2018, ICTCS 2018, IJCAI 2018, LOFT 2018, TIME 2018, KR 2018, ARQNL 2018, EUMAS 2018.
  • 2017: AAAI 2017, AAMAS 2017, CILC 2017(General Chair), EUMAS 2017, FoSSaCS 2017, FMAI 2017(co-Chair), ICTCS 2017(Chair), KRR@SAC 2017, IJCAI 2017, LAMAS 2017, MFCS 2017, SR 2017(co-Chair).
  • 2016: AAAI 2016, AAMAS 2016, ARQNL 2016, ECAI 2016, EUMAS 2016, KR 2016, IJCAI 2016, LAMAS 2016, MOVEP 2016, SR 2016, TIME 2016, WOA 2016.
  • 2015: AAAI 2015, AAMAS 2015, EUMAS 2015, LAMAS 2015, SR 2015 (co-chair), TIME 2015, WOA 2015.
  • 2014: AAMAS 2014, ARQNL 2014, CLIMA-XV 2014, ECAI 2014, EUMAS 2014, KR 2014, LAMAS 2014,
  • Member of the Italian Association for Artificial Intelligence (AIxIA)
  • Member of the Asia-Pacific Artificial Intelligence Association (AAIA)
  • Member of the Artificial Intelligence and Simulation of Behaviour (AISB)
• Invited Talks:
  • Formal Aspects of Strategic Reasoning in MAS. Workshop in Logics for Multi-Agent Systems - University of Toulouse - September 2, 2022
  • Formal Aspects of Strategic Reasoning in MAS. VardiFest22@FLOC - University of Haifa - July 31, 2022
  • Reasoning about Module Checking (Slides). University of Bozen - July 27, 2016
  • Reasoning about Module Checking. May 4, 2015 - LAMAS'15 in Istanbul
  • Reasoning about Strategy Logic. June 2014 - Imperial College
  • Strategic Reasoning in Formal Verification. Dec 14, 2013 - ALFA'13s in Cape Town
  • Enriched Modal Logics (Slides). Nov 7, 2013, Univ. Vienna
  • Reasoning about Strategies: From module checking to strategy logic (Slides). Sep 23, 2013 - Univ. Luxembourg
  • Module Checking. Jul 9, 2013 - Imperial College
  • Strategy Logic, Jun 26, 2013 - Imperial College
  • Reasoning about Strategies. Apr 30, 2013 - VaToMAS at Dagsthul
  • Pushdown Module Checking with Perfect and Imperfect Information. Univ. Libre de Bruxelles - Jan 25, 2013
  • Reasoning About Strategies. Univ. La Sapienza Roma - Dec 11, 2012
• Recent papers(2022-23):
  • KR 2023: Strategic Abilities of Forgetful Agents in Stochastic Environments, with Francesco Belardinelli, Wojteck Jamroga, and Munyque Mittelmann
  • IJCAI 2023: Scalable Verification of Strategy Logic through Three-valued Abstraction, with Francesco Belardinelli, Angelo Ferrando, Wojteck Jamroga, and Vadim Malvone
  • IJCAI 2023: Discounting in Strategy Logic, with Munique Mittelmann and Laurent Perrussel
  • PAAMS 2023: Parking Problem with Multiple Gates, with Francesco Noviello, Munyque Mittelmann, and Silvia Stranieri
  • AAAI 2023: Formal Verification of Bayesian Mechanisms, with B. Maubert, M. Mittelmann, L. Perrussel.
  • ICAART 2023: A Game Theoretic Approach to Attack Graphs, with Davide Catta, Antonio Di Stasio, Jean Leneutre, and Vadim Malvone.
  • ICAART 2023: Multi-Agent Parking Problem with Sequential Allocation, with Silvia Stranieri and Munyque Mittelmann.
  • TOCL(2023):Reasoning about Quality and Fuzziness of Strategic Behaviors, with Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, and Giuseppe Perelli. ACM Transactions on Computational Logic Volume 24 Issue 3(21):1–38
  • Artificial Intelligence(2022): Verification of agent navigation in partially-known environments (with B. Aminof, S. Rubin, F. Zuleger)
  • AAMAS 2022(proceedings): Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions (with F. Belardinelli, W. Jamroga, V. Malvone, M. Mittelmann, L. Perrussel)
  • KR 2022(proceedings): Public and Private Affairs in Strategic Reasoning (with N. Fijalkow, B. Maubert, S. Rubin, M.Y. Vardi)
  • IJCAI 2022(proceedings): Automated Synthesis of Mechanisms (with B. Maubert, M. Mittelmann, L. Perrussel)
• Promoter of the Spin-off IM APPS
• Post-Docs:
  • Munyque Mittelmann (Oct 2022-July 2025)
  • Michal Tomasz Godziszewski (September 2023-July 2025)
  • Davide Catta (June 2023-May 2025)
  • Francesco Chiariello (May 2023-April 2024)
  • Silvia Stranieri (Mar 2022-Feb 2023)
  • Bastien Maubert, Marie Curie Fellowship (Mar 2016-Sep 2022)
  • Sasha Rubin, Marie Curie Felloship Co-fund@INdAM (Mar 2015-May 2019)
  • Loredana Sorrentino (Mar 2015-Mar 2018)
  • Kouvaros Panagiotis, (Jan-Apr 2017)
  • Laura Bozzelli (Sep 2016-Aug 2018).
  • Dario Della Monica, Marie Curie Felloship Co-fund@INDAM (Jan 2016-Sep 2018)
  • Rossella Arcucci (Mar 2015-Feb 2016)
  • Fabio Mogavero (Nov 2011-Oct 2014)
• Internships:
  • Munyque Mittelmann
  • Raphaël Berthon
  • Aurèle Barrière
• PhD Students:
  • Salvatore Romano
  • Ciro Listone
  • Andrea Capone
  • Marco Aruta
  • Silvia Stranieri (PhD thesis in May 2022)
  • Antonio Di Stasio (PhD in February 2019)
  • Vadim Malvone (PhD in 2018)
  • Giuseppe Perelli (PhD in 2015)
  • Loredana Sorrentino (PhD in 2015)
  • Fabio Mogavero (PhD in 2011)
  • Alessandro Bianco (PhD in 2011)
• Teaching (mostly in Italian):
  • Ricevimento: Tutti i lunedì dalle 10:00 alle 12:00, via teams o in presenza (studio del docente a Via Claudio). Contattatemi i giorni precedenti via mial per riservare uno slot.
  • Esame di FMSD sessione estiva. E' possibile svolgere l'esame in presenza o a distanza, previa prenotazione su Segrepass. Si può convenire una data con il docente, previo accordo via mail.
• Terza Missione

Technical report concerning recent activities at ASTREA (in Italian).


Technical report concerning PRIN 2020 (in Italian).


---

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


---

Contact Information:
Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione
Università degli Studi di Napoli "Federico II"
Via Claudio, 21
80125 Napoli, ITALY.
 
Phone: +39 081 679279
E-mail1: nello.murano(AT)gmail.com
E-mail2: aniello.murano(AT)unina.it
Nello Murano Nello

---