Three new PhD students

For the start of the new academic year of 2021-2022, We welcome three new PhD students!

  • Nicolas Chappe will work on formalizing concurrent programs in Vellum with Yannick Zakowski and Matthieu Moy
  • Hugo Thievenaz will work on polyhedral compilation schemes using dynamic analysis with Christophe Alias
  • Thaïs Baudon will work on optimizing algebraic data types and their memory representation with Gabriel Radanne and Laure Gonnord