Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
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.