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.

  • 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.