PeopleofSuperintelligence

Researcher

Luis Fariñas del Cerro

Luis Fariñas del Cerro is a formal logic researcher whose work includes modal logic and tableau systems. He publishes a paper on total correctness in 1982 and serves as IRIT director in October 2000. His later work includes modal tableaux in 2022, papers on two-state semantics and equilibrium logic in 2023, a classical and intuitionistic tableau in 2025, and lattice logic in 2026. As of October 2026, he is a CNRS emeritus research director.

Now at
CNRS

Timeline

  1. 1982

    A paper on total correctness

    In 1982, he publishes “Les modalités de la correction totale” in RAIRO. Informatique théorique.

  2. October 2000

    Director of IRIT

    In October 2000, he serves as IRIT director as the institute joins the Féria research federation with the Laas and Onera.

  3. 2022

    Tableaux for modal logics

    In 2022, with Marcelo E. Coniglio and Newton M. Peron, he presents tableau systems for Tm, S4m and S5m and their first-order extensions.

  4. 2023

    Two-state semantic connectives

    In 2023, he coauthors “Logical connectives for two-state semantics” with Marta Cialdea Mayer.

  5. 2023

    Metric equilibrium logic

    With Arvid Becker, Pedro Cabalar, Martín Diéguez, Torsten Schaub and Anna Schuhmann, he publishes “Metric dynamic equilibrium logic” in 2023.

  6. 2025

    Classical and intuitionistic tableaux

    In 2025, he coauthors “Tableaux for a Combination of First-Order Classical and Intuitionistic Logic” with Agustín Valverde Ramos.

  7. 2026

    Multi-adjoint lattice logics

    In 2026, he coauthors “Bounded and multi-adjoint lattice algebraizable logics” with Maria Eugenia Cornejo, Francesc Esteva, Lluís Godo and Jesús Medina.

  8. As of October 2026

    CNRS emeritus research director

    As of October 2026, he is a CNRS research director emeritus.

Career

  1. NowCNRSEmeritus Research Director
  2. 2000Institute for Research in Computer Science of ToulouseDirector

From the biography.

  1. The company share of AI researchers’ top papers was 31% in 2020–2024 and 8% in 1970–1974Includes CNRS. 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. Universities keep AI researchers for a median of 6 years, compared with 2 years at frontier labsIncludes CNRS. Across 15,811 dated work stays (6,529 people), median role tenure runs from 6 years at universities to 2 years at frontier labs. We compare all five organization types, starting decades from the 1970s to the 2020s, and the organizations that keep people longest.
  3. People shaping AI work at a median of 3 organizations over a career: 3 for university starters and institute and lab starters, versus 2 for company startersIncludes CNRS. Across 6,853 people shaping AI with a dated work role, we estimate a median of 3 parent organizations over a career (mean 3.6), comparing role groups, starting sectors and starting decades from the 1950s to 2020–2026.
  4. The top 10 organizations employed 22% of people shaping AI in 2025: 51% of company researchers and 21% of university researchersIncludes CNRS. We estimate the share of people shaping AI who worked at the top 10 organizations each year from 1955 to 2025, comparing concentration across companies, universities, and institutes and labs.

Colleagues

People named in this biography, and people with dated positions at the same organization in the same years.

Sources and credits

Photo: We have no published photo of Luis Fariñas del Cerro yet. Send us a free-licensed photo.

  1. Les modalités de la correction totale numdam.org. Checked 21 October 2026.
  2. Inauguration de FERIA. - ladepeche.fr ladepeche.fr. Checked 21 October 2026.
  3. Tableau systems for some Ivlev-like (quantified) modal logics arxiv.org. Checked 21 October 2026.
  4. Luis Fariñas del Cerro csauthors.net. Checked 21 October 2026.
  5. Farinas del Cerro, Luis - Persée persee.fr. Checked 21 October 2026.