PeopleofSuperintelligence

Researcher

Aniello Murano

Aniello Murano develops formal methods for strategic reasoning in multi-agent AI. He earned a computer science PhD at Salerno in 2003 and worked as a researcher at Federico II from 2005 to 2010. His research includes Strategy Logic for reasoning about agents’ strategies and a four-month research visit to Berkeley’s Simons Institute in 2021. He received a EurAI Fellowship in 2024, co-chaired ECAI’s 2025 program committee, and now serves as AIxIA vice-president while leading the ASTREA Lab at Federico II.

Works
303
Citations
2,606
h-index
27
Badges

Publication numbers from OpenAlex, as of 18 October 2026.

Timeline

  1. February 2003

    A computer science doctorate

    He completes a PhD in Computer Science at the University of Salerno in February 2003.

  2. March 2005–October 2010

    Researcher at Federico II

    From March 2005 to October 2010, he serves as a computer science researcher at the University of Naples Federico II.

  3. 2012

    A decidable Strategy Logic fragment

    In 2012, he coauthors A Decidable Fragment of Strategy Logic, which studies One-Goal Strategy Logic for explicit reasoning about strategies in multi-agent concurrent games.

  4. 2021

    A Simons Institute visit

    At Berkeley’s Simons Institute, he spends four months as an invited researcher in 2021. His research centers on system verification and strategic reasoning in multi-agent systems.

  5. 2024

    A EurAI Fellowship

    He receives the EurAI Fellowship in 2024.

  6. 2025

    Co-chairing an ECAI program

    At ECAI 2025, he co-chairs the Program Committee.

  7. 2026–2027

    AIxIA vice-president

    AIxIA elects him vice-president for its 2026–2027 board. He directs the ASTREA Lab at Federico II, which studies formal methods for multi-agent systems and Strategy Logic.

Career

  1. Since 2026Italian Association for Artificial IntelligenceVice-President
  2. Since 2005University of Naples Federico IIResearcher
  3. 2021University of California, BerkeleyInvited Researcher

Education

  1. 2003University of SalernoPhD in Computer Science

From the biography and OpenAlex affiliations (the years of papers that list the organization), so some years are approximate.

Most-cited works

  1. Reasoning About Strategies2014 · ACM Transactions on Computational Logic · 187 citationsWith Moshe Y. Vardi
  2. Protective effect of Coenzyme Q10 on anthracyclines cardiotoxicity: Control study in children with acute lymphoblastic leukemia and non-Hodgkin lymphoma1994 · Molecular Aspects of Medicine · 114 citations
  3. MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications2014 · Lecture notes in computer science · 73 citationsWith Alessio R. Lomuscio
  4. What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic2012 · Lecture notes in computer science · 73 citationsWith Moshe Y. Vardi
  5. Reasoning About Strategies: On the Model-Checking Problem2011 · 57 citationsWith Moshe Y. Vardi

From OpenAlex, as of 18 October 2026.

  1. More people shaping AI studied at Massachusetts Institute of Technology than at any other institutionIncludes University of Naples Federico II. Our estimates of where the people shaping AI studied and where their careers led, from education records in cited biographies.
  2. The company share of AI researchers’ top papers rose from 3% to 32%Includes University of Naples Federico II. We estimate where leading AI researchers worked when their most-cited papers appeared. The company share rose from 3% in 1975–1979 to 32% in 2020–2024.
  3. Stanford University trained or employed 27 of the 111 AI major-prize winners, more than any other universityIncludes University of Naples Federico II. Stanford University trained or employed 27 of the 111 AI major-prize winners, more than any other university. We compare doctorate and employment links for major-prize and best-paper winners.
  4. Google has the highest combined h-index among AI organizationsIncludes University of California, Berkeley. Our estimates of combined and median h-index at AI organizations, using current affiliations and OpenAlex records.

Colleagues

People with dated positions at the same organization in the same years.

Sources and credits

Photo: We have no published photo of Aniello Murano yet. Send us a free-licensed photo.

  1. Aniello Murano, Short Resume people.na.infn.it. Checked 18 October 2026.
  2. A Decidable Fragment of Strategy Logic arxiv.org. Checked 18 October 2026.
  3. Murano Aniello - About Me people.na.infn.it. Checked 18 October 2026.
  4. Aniello Murano simons.berkeley.edu. Checked 18 October 2026.
  5. Aniello Murano insignito dell’EurAI Fellow unina.it. Checked 18 October 2026.
  6. Call for Papers – ECAI 2025 ecai2025.org. Checked 18 October 2026.
  7. Elezione delle cariche sociali del nuovo Consiglio Direttivo AIxIA 2026-2027 groups.google.com. Checked 18 October 2026.
  8. Home sites.google.com. Checked 18 October 2026.