Discover the new Associate Teams of Inria Chile

The teams FLOod and TransporT Equations (FLOTTE), in collaboration with the Inria centre at Université Côte d’Azur and the Inria centre at the Université Grenoble Alpes in France and the Pontifical Catholic University of Chile, and GRAdual Proof Assistants (GRAPA), in cooperation with the Inria centre at Rennes University in France and the University of Chile join the Inria Chile Associate Teams program, which this year has 9 active Franco-Chilean research teams.

The Associate Teams are an essential element of Inria's international policy and one of the main tools to support bilateral scientific collaboration, promoting and strengthening joint research and strategic alliances abroad. Each group includes researchers from Inria and Chilean universities, who share a common research project for 3 years, jointly defining a scientific objective, a research plan and a bilateral exchange program.

Since Inria's arrival in Chile in 2012, this program has funded 29 Franco-Chilean research projects in different areas. Currently, there are 9 associate teams working, in which Inria researchers in France and from Chilean institutions such as the University of Chile, the Pontifical Catholic University of Chile, the Bío Bío University, the Pontifical Catholic University of Valparaíso, the Adolfo Ibáñez University and O'Higgins University collaborate.

Researchers from the Inria centre at Université Côte d’Azur and the Inria centre at the Université Grenoble Alpes in France and the Pontifical Catholic University of Chile collaborate in this new Associate Team. The objective of the team is  the development of a numerical tool capable of representing the spread of flooding and transport (sediment, debris and vehicles) in urban areas, such as the potential feedback from transport to flow.

The team is led by Antoine Rousseau, team leader of the LEMON project-team of the Inria centre at Université Côte d’Azur in France, Montpellier antenna, and Cristián Escauriaza, researcher of the Department of Hydraulic and Environmental Engineering, Faculty of Engineering, Pontifical Catholic University of Chile. Vincent Acary, team leader of the TRIPOP project-team of the Inria centre at the Université Grenoble Alpes also participates in the project as well as Pascal Finaud-Guyot, from the Hydrosciences Laboratory of the Université de Montpellier and member of the LEMON project-team; Marc Hétier, a master's student from the LEMON project-team, and Sebastián Nash, a master's student at the Pontifical Catholic University of Chile, who has already completed a research internship with the LEMON project-team financed under the Inria Chile Mobility Program, are also members of the team.

The team, which includes researchers from the Inria Centre at Rennes University in France and the University of Chile, is primarily focused on extending the scope of graded typing to full type theories to support fluent certified programming in a new generation of proof assistants.

It is led by Nicolas Tabareau, team leader of the GALLINETTE project-team at the Inria centre at Rennes University in France, and Éric Tanter, researcher at the Department of Computer Science at the University of Chile. Also participating are Kenji Maillard, researcher from the GALLINETTE project-team; Koen Jacobs, postdoc of the GALLINETTE project-team and Inria Chile, and Stefan Malewski and Tomas Díaz, doctoral students at the University of Chile.