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
Current Master Researchers
- Valéran Maytie: Optimizing Programs with Sketch-Guided Polyhedral Compilation
Supervised together with Christophe Alias from Inria CASH
since March 2025
Past Master Researchers
- 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
- 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
- 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