Congratulations on completing your Master's degree, Armin!
Armin Wolf successfully completed his Master's degree.
The thesis is titled "Automated Sublinear Amortized Analysis for Lazy Evaluation". The exposé can be downloaded here.
Congratulations!
