People Make Academia

I believe that our success as researchers depends not only on discovery, but also on the integrity, wellbeing, and solidarity of those who make discovery possible. I wrote a manifesto called People Make Academia (icon credits), detailing what early stage researchers should expect from me, what I expect from them, and more broadly the values that I believe all researchers should stand for.

Current PhD Researchers
  • Valéran Maytie: Optimizing LLMs via Sketch-Guided Polyhedral Compilation
    Supervised together with Cedric Bastoul since October 2025

  • Nicole Heinimann: Machine Learning for Equality Saturation
    Co-supervised together with Michel Steuwer at TU Berlin since May 2024

  • Rudi Schneider: Dealing with Binders in Equivalence Graphs
    Co-supervised together with Michel Steuwer at TU Berlin since February 2024

Current Master Interns
  • Julien François De Castelnau: Source-to-source Transformations for GPU Code Generation
    Supervised together with Arthur Charguéraud since September 2025

Past Master Interns
  • 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