Undergraduate internships :
Master internships :
- 2013 : Raphael Ernani Rodrigues (Brasil) made a short internship
(2months) and worked on a new algorithm for proving non termination
(the report) .
- 2014: Gabriel Radanne (co advised with
D. Monniaux, 4AENSL Internship) worked on the implementation of our algorithm for
- 2016 : Vitor Paisante made a short internship, whose object was to
realize a new pointer analysis with M. Maalej.
- 2016 : M2 internship of J. Braine on programs with arrays and
lists. (the report) .
- 2017. 4A internship, Marc Chevalier.