Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

Several researchers has visited us:

• Filip Mazowiecki, a researcher from Warsaw University and currently in post-doctorate in Bordeaux to work with Charles Paperman.

• Rustam Azimov, a Russian PhD students from Saint Petersburg State University, to collaborate with Sylvain Salvati and Joachim Niehren.

• Michaël Cadilhac, a researcher from Oxford University to work with Charles Paperman.

• Cristian Riveros, an Assistant Professor at the Department of Computer Science at the Pontificia Universidad Catolica de Chile.

• Henning Fernau, Professor at Universität Trier and Andreas Maletti, Professor at Universität Leipzig, visited us during the HDR defense of Aurelien Lemay.

Internships

• Nicolas Crosetti started an internship supervised by Florent Capelli, Joachim Niehren and Jan Ramon. His internship has evolved into the preparation of a PhD thesis.

• Chen Huan, from Centrale Lille, has done an internship under the supervision of Sylvain Salvati and Joachim Niehren.

Visits to International Teams

• Charles Paperman visited Michaël Cadilhac form the verification team of the University of Oxford.

• Joachim Niehren got invited by Hilal Zaid for a visit at the American University of Palestine in August 2018.