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