Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

• Ran Chen is a PhD student from Institute of Software (Chinese Academy of Sciences, Beijing, China) visiting the team for 10 months under the supervision of C. Marché and J.-J. Lévy (PiR2 team, Inria Paris). She worked on the formal verification of graphs algorithms [25], [17], and also in the context of the CoLiS project on verification of some aspects of the Unix file system and shell scripts [74] [11]