Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

Internships

Xavier Rival supervised the internship of Guillaume Cluzel (L3, École Normale Supérieure de Lyon), on the implementation of array abstract domains.

Xavier Rival supervised the internship of Sixiao Zhu (M1, École Polytechnique), on the integration of a three valued abstraction in MemCAD.

Visits to International Teams

Research Stays Abroad

Xavier Rival visited KAIST (Korean Advanced Institute for Science and Technology) as an Invited Professor in November/December 2017.