Three ECOS-Sud projects by members of INFINIS were approved for 2018-2020.
From the five ECOS-Sud projects approved in the section “Technologie de l’information : implications sociétales et applications scientifiques”, this year, three are from INFINIS members. The three projects start in January 2018 and end in December 2020. Project ECOS-Sud A17C01 Semantics and implementation of functional programming. French director: Antonio Bucciarelli (IRIF, Univ. Paris Diderot) Argentine director: Alejandro Ríos (UBA) Permanent researchers: Thibaut Balabonski, Eduardo Bonelli, Delia Kesner, Carlos Lombardi PhD Students: Pablo Barenbaum, Andrés Viso, Robin Pelle, Pierre Vial. Project ECOS-Sud A17C03 Quantum calculi. French director: Gilles Dowek (Inria, LSV, ENS Paris-Saclay) Argentine director: Alejandro Díaz-Caro (UNQ/CONICET) Permanent researchers: Pablo Arrighi, Jean-Yves Marion, Pablo E. Martínez López, Simon Perdrix, Benoît Valiron. Postdoc: Stefano Facchini PhD Students: Thimothée Gaubault de Brugière, Ivan Marquez, Renaud Vilmart Master students (Licenciatura thesis or M2): Agustin Borgna, Alan Rodas, Federico Sawady, Francisco Noriega, Ignacio Grima, Juan Pablo Rinaldi, Lucas Romero, Malena Ivnisky, David Zonneveld Project ECOS-Sud A17C05 Randomness and finite-states machines. French director: Olivier Carton (IRIF, Univ. Paris Diderot) Argentine director: Verónica Becher (UBA/CONICET)