Current PhD Researchers
- Rudi Schneider: Dealing with Binders in Equivalence Graphs
Co-supervised together with Michel Steuwer at TU Berlin
since February 2024
- Nicole Heinimann: Machine Learning for Equality Saturation
Co-supervised together with Michel Steuwer at TU Berlin
since May 2024
- Valéran Maytie: Optimizing LLMs via Sketch-Guided Polyhedral Compilation
Supervised together with Cédric Bastoul
since October 2025
Current Master Researchers
- Julien François De Castelnau: Source-to-source Transformations for GPU Code Generation
Supervised together with Arthur Charguéraud
since September 2025
Past Master Researchers
- Valéran Maytie: Optimizing Programs with Sketch-Guided Polyhedral Compilation
Supervised together with Christophe Alias from Inria CASH
from March 2025 to August 2025
- Erwan Tanguy-Legac: Combining Rise with OptiTrust: Reusing Memory after Functional Rewriting
Co-supervised together with Michel Steuwer at TU Berlin
from April 2025 to July 2025
- Simon Björklund: Numerical Analysis and Optimization of Functional Array Programs
Co-supervised together with Eva Darulova at Uppsala University
from January 2025 to June 2025
- Filip von Knorring: Exploring Accuracy and Performance Trade-offs in Functional Array Programs
Co-supervised together with Eva Darulova at Uppsala University
from January 2025 to June 2025