Current Internships Proposals

  • Follow the link to the CASH team website !

PhD students

Past Internships

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 Termination (the report). See also Termite's demopage.
  • 2016 : Vitor Paisante made a short internship, whose object was to realize a new pointer analysis with M. Maalej.
  • 2016 : M2 internship of Julien Braine on programs with arrays and lists. (the report) .
  • 2017. 4A internship, Marc Chevalier.
  • 2018 : M2 internship of Paul Iannetta on polyhedral semantics. (the report) [CODAS]
  • 2021 : M2 internship of Thaïs Baudon (WIP)[CODAS]
  • 2021. 4A internship, Sebastien Michelland, coadvised with Y. Zakowski