Éric Tanter, first researcher from Chile selected for Inria's International Chairs
Date :
Changed on 11/07/2025
Éric Tanter, a professor at the Universidad de Chile and a researcher at the Millennium Institute Foundational Research on Data, has been chosen by the prestigious Inria program to develop cutting-edge research on the reliability and verification of computer systems. This research will be conducted under the Franco-Chilean Binational Center on Artificial Intelligence.
With a long history of collaboration with Inria and Inria Chile, Professor Éric Tanter has been selected to join the Inria International Chairs program. Through this initiative, the researcher will develop a research agenda on Malleable Proof Assistants in collaboration with the GALLINETTE project-team in Nantes. This work will be part of the Artificial Intelligence Evaluation project of the Franco-Chilean Binational Center on Artificial Intelligence, operated by Inria Chile.
The Artificial Intelligence Evaluation project aims to advance research on AI safety, develop new tests, and provide testing infrastructures to companies and administrations. It focuses on use cases and/or AI systems that fall under European AI regulations and Chilean legislation.
Éric Tanter will conduct his research alongside the GALLINETTE project-team at Inria, which primarily works on proof assistants, particularly the Rocq assistant. Proof assistants allow the construction of mathematical models, the formulation of theorems, and the writing of proofs verified by the system. An important application of these systems is certified programming, which involves creating programs whose properties are formally established.
For his part, Éric will focus on the malleability of proof assistant
Verbatim
High-quality research is rarely the result of an isolated genius; it is more often the product of interactions and mutual enrichment with others. In this case, it is the result of a thematic shift I initiated about 10 years ago, which I could not have achieved without the synergy with several people, especially Nicolas Tabareau, the lead researcher of Gallinette at Inria, who was already an expert in these topics when I began to take an interest in them.
Auteur
Poste
Professor at the Universidad de Chile / Researcher at the Millennium Institute Foundational Research on Data
Verbatim
Within the framework of the Franco-Chilean Binational Center on Artificial Intelligence, the evaluation of AI systems, research into their security, and the certification of AI systems will be key areas of focus. Éric Tanter, a researcher who has successfully collaborated with our teams at Inria for a decade, will conduct work on proof assistants as part of his Inria International Chair. Undoubtedly, his contribution will be an important technological building block in this area and will enable the development of more complex systems. This is a well-deserved recognition of years of effort, collaboration, and leadership for Éric, and it is a great opportunity to strengthen Franco-Chilean research and cooperation in digital sciences and technologies.
Auteur
Poste
Director of Inria Chile / Director of the Franco-Chilean Binational Center on Artificial Intelligence
What is the Inria International Chairs Program?
The Inria International Chairs Program (IIC) aims to promote international scientific collaboration by funding extended visits for researchers from foreign institutions to join Inria's research teams in France. These visits can range from several weeks to a year. In addition to facilitating this research immersion, the program aims to increase visibility for visiting scientists.
The program offers two types of chairs based on the researcher's career stage. The "Starting Career" chair is designed for permanent researchers with 5 to 10 years of experience following the defense of their doctoral thesis. This modality allows for a total stay of 6 to 9 months, which can be spread over three years.
On the other hand, the "Advanced Career" chair is intended for renowned permanent researchers with an established international career. This option offers a longer stay of 10 to 12 months, which can be managed and distributed for up to five years, allowing for deeper and long-term collaboration.