Armin Walch successfully completed his Master's degree.
His Master's thesis is titled “Automated Amortized Multi-Potential Analysis” (pdf).
He will remain with us as a PhD student, working on the dissertation project “Automated Sublinear Amortized Analysis for Lazy Evaluation”. The exposé can be downloaded here.
Congratulations!