Available Master Topics
- Exploring Accuracy and Performance Trade-offs in Functional Array Programs
updated on 2024-09-25 - Numerical Analysis and Optimization of Functional Array Programs
updated on 2024-09-25
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