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
- Filip von Knorring: Exploring Accuracy and Performance Trade-offs in Functional Array Programs
Co-supervised together with Eva Darulova at Uppsala University
since January 2025
- Simon Björklund: Numerical Analysis and Optimization of Functional Array Programs
Co-supervised together with Eva Darulova at Uppsala University
since January 2025