Conoce a los nuevos Equipos Asociados de Inria Chile

Los equipos FLOod and TransporT Equations (FLOTTE), en colaboración con los centros Inria de la Université Côte d'Azur y de la Université Grenoble Alpes de Francia y la Pontificia Universidad Católica de Chile, y GRAdual Proof Assistants (GRAPA), en cooperación con el Centro Inria de la Université de Rennes de Francia y la Universidad de Chile, se suman al programa de Equipos Asociados de Inria Chile, que este año cuenta con 9 equipos de investigación franco-chilenos.

Los Equipos Asociados son un elemento esencial de la política internacional de Inria y una de las principales herramientas para apoyar la colaboración científica bilateral, promoviendo y fortaleciendo la investigación conjunta y las alianzas estratégicas en el exterior. Cada grupo se conforma con investigadores provenientes de Inria y de universidades chilenas, quienes comparten un proyecto de investigación común por 3 años, definiendo conjuntamente un objetivo científico, un plan de investigación y un programa de intercambios bilaterales.

Desde la llegada de Inria a Chile en 2012 este programa ha financiado a 29 proyectos de investigación franco-chilenos de diferentes áreas de trabajo. Actualmente, hay 9 equipos asociados trabajando, en los que colaboran investigadores de Inria en Francia e instituciones chilenas como la Universidad de Chile, la Pontificia Universidad Católica de Chile, la Universidad del Bío Bío, la Pontificia Universidad Católica de Valparaíso, la Universidad Adolfo Ibáñez y la Universidad de O’Higgins.

Este nuevo Equipo Asociado, en el que colaboran investigadores de los centros Inria de la Université Côte d'Azur y de la Université Grenoble Alpes de Francia y la Pontificia Universidad Católica de Chile, tiene como objetivo de investigación el desarrollo de una herramienta numérica capaz de representar la propagación de inundaciones y transporte (sedimentos, escombros y vehículos) en áreas urbanas, como la retroalimentación potencial del transporte al flujo.

El equipo es liderado por Antoine Rousseau, investigador líder del equipo-proyecto LEMON del Centro Inria de la Université Côte d'Azur en Francia, antena Montpellier, y Cristián Escauriaza, investigador del Departamento Ingeniería Hidráulica y Ambiental, Facultad de Ingeniería, Pontificia Universidad Católica de Chile. Está compuesto además por Vincent Acary, investigador líder del equipo-proyecto TRIPOP del centro Inria de la Université de Grenoble; Pascal Finaud-Guyot, del Laboratorio Hydrosciences de la Université de Montpellier y miembro del equipo-proyecto LEMON; Marc Hétier, estudiante de máster del equipo-proyecto LEMON, y Sebastián Nash, estudiante de máster en la Pontificia Universidad Católica de Chile quien ya ha realizado una pasantía de investigación en el equipo LEMON financiada en el marco del Programa de Movilidad de Inria Chile.

El equipo, que está integrado por investigadores de la Université de Rennes en Francia y la Universidad de Chile, se enfoca principalmente en la extensión del alcance de la tipificación gradual a teorías de tipos completas para respaldar la programación certificada fluida en una nueva generación de asistentes de prueba.

Es liderado por Nicolas Tabareau, investigador líder del equipo-proyecto GALLINETTE del Centro Inria de la Université de Rennes en Francia, y Éric Tanter, investigador del Departamento de Ciencias de la Computación de la Universidad de Chile. Participan también Kenji Maillard, investigador del equipo-proyecto GALLINETTE; Koen Jacobs, postdoc del equipo-proyecto GALLINETTE e Inria Chile, y Stefan Malewski y Tomas Díaz, estudiantes de doctorado de la Universidad de Chile.