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