Murano Aniello - Home Page

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.

Synthesis of Diplomatic Strategies in Multi-Agent Systems. Research project

ECAI 2025 (Program co-chair).

KR 2024 (Area chair).

H2020-MSCA project SEAL (Principal coordinator).

Three papers accepted accepted at AAMAS 2024.

Tutorial accepted @ KR 2024

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:
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-)
- Michal Tomasz Godziszewski (September 2023-)
- Davide Catta (June 2023-)
- 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:
PhD Students:
- 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).

Erdös number

Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione

Università degli Studi di Napoli "Federico II"

nello.murano(AT)gmail.com

aniello.murano(AT)unina.it

Nello Murano Nello