Alejandro Díaz-Caro will visit the lab LSV at ENS Paris-Saclay to work with Gilles Dowek in December 2017.