Month: May 2022

Mariana Millicich got a “MathInParis2020” scholarship from the Fondation Sciences Mathématiques de Paris to do a PhD at Université Paris Cité in co-supervision with Universidad de Buenos Aires. Her French advisor will be Delia Kesner and her Argentinian advisor will be Pablo Barenbaum.

The PhD starts in October. Mariana will study quantitative type systems with polymorphism and the quantitative impact between CPS translations of programs.

Malena Ivnisky will visit the Université Paris-Saclay to work with Benoît Valiron in June.
Alejandro Díaz-Caro will visit the Université Paris-Saclay and the LORIA in June / July to work with Benoît Valiron and Simon Perdrix.
Cristian Sottile will visit Université Paris-Saclay to collaborate with the INRIA team Deducteam in October.