PeopleofSuperintelligence

Researcher

Alessandro Cimatti

Alessandro Cimatti is a researcher in artificial intelligence and formal methods whose work spans symbolic model checking, AI planning and system verification. He began research at ITC-IRST in 1990, coauthored NuSMV in 1999, and led FBK's Embedded Systems unit from 2006 to 2020. His work on Bounded Model Checking won the TACAS 2014 Most Influential Paper award, the ETAPS 2017 Test of Time award, and CAV Awards in 2018 and 2021. He directs FBK's Digital Industry Center. In January 2025, he presented AI-MATTERS as an application setting for his center's AI work; in April 2026, he explained an ESA-backed generative-AI project for space software testing, and in August 2026, he discussed analysis of possible failures in complex systems.

Badges

Timeline

  1. 1990

    Research at ITC-IRST

    He begins research at ITC-IRST in 1990, working in formal methods and artificial intelligence.

  2. 1999

    NuSMV symbolic model verifier

    In July 1999, he coauthors a CAV paper introducing NuSMV, a symbolic model verifier.

  3. 1999

    SAT-based bounded model checking

    In a TACAS 1999 paper, he and his coauthors apply SAT solvers to model checking and introduce Bounded Model Checking to detect system bugs.

  4. 2006–2020

    Leading the Embedded Systems unit

    From 2006 to 2020, he leads FBK's Embedded Systems research unit at its ICT Center.

  5. 2014

    Timed game automata strategy synthesis

    In 2014, he coauthors an AAAI paper that maps Simple Temporal Networks with Uncertainty to Timed Game Automata and turns the generated strategies into equivalent execution strategies.

  6. 2014–2021

    Awards for bounded model checking

    His work on Bounded Model Checking earns the TACAS 2014 Most Influential Paper award and the ETAPS 2017 Test of Time award. He also receives CAV Awards in 2018 and 2021.

  7. Since 2021

    Directing Digital Industry

    Since January 2021, he directs FBK's Digital Industry Center. In January 2025, he describes AI-MATTERS as an application setting for the center's AI research; in April 2026, he explains an ESA-backed project that uses generative AI to test space software. In August 2026, he discusses analysis of potential failures in complex systems across space, rail, transport and manufacturing.

  8. August 2026

    Digital Industry director

    In August 2026, he is director of FBK's Digital Industry Center and discusses his team's analysis of possible failures in complex systems across space, rail, transport and manufacturing.

Career

  1. Since 2006Fondazione Bruno KesslerUnit Leader, Director
  2. From 1990Institute for Scientific and Technological Research

From the biography.

  1. The company share of AI researchers’ top papers was 31% in 2020–2024 and 8% in 1970–1974Includes Fondazione Bruno Kessler. We estimate where the people shaping AI worked when their most-cited papers appeared: the company share was 31% in 2020–2024 and 8% in 1970–1974, and Google led all organizations in 2020–2024.
  2. Google had the most people shaping AI every year from 2014 to 2025Our estimates of which organizations employed the most people shaping AI each year from 1955 to 2025, tracing the shift from university labs to companies.
  3. The United States employs an estimated 48% of people shaping AIWe estimate where the people shaping AI work today, how universities, companies and research institutes split across countries, and how country shares have changed since the 1960s.
  4. 43% of living people shaping AI work outside their country of birthWe estimate that 43% of living people shaping AI work outside their country of birth (520 of 1,198 people with known birth and employment countries).

Colleagues

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

Sources and credits

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

  1. DICenter - Alessandro Cimatti dicenter.fbk.eu. Checked 20 October 2026.
  2. CAV 1999 Proceedings sigmod.org. Checked 20 October 2026.
  3. ETAPS 2017 Test of Time Award etaps.org. Checked 20 October 2026.
  4. Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty ojs.aaai.org. Checked 20 October 2026.
  5. Verifica automatica di sistemi informatizzati mag.unitn.it. Checked 20 October 2026.
  6. A new organization for the Bruno Kessler Foundation magazine.fbk.eu. Checked 20 October 2026.
  7. Intelligenza Artificiale: parte il progetto europeo AI-MATTERS 60 milioni di euro e incentivi fino al 100% per le imprese magazine.fbk.eu. Checked 20 October 2026.
  8. Artificial intelligence for space software quality fbk.eu. Checked 20 October 2026.
  9. Agosto 2026: i progetti FBK che fanno notizia magazine.fbk.eu. Checked 20 October 2026.