Armin Walch hat sein Masterstudium erfolgreich abgeschlossen.
Die Masterarbeit trägt den Titel "Automated Amortized Multi-Potential Analysis" (pdf).
Er bleibt uns als PhD-Student mit dem Dissertationsthema "Automated Sublinear Amortized Analysis for Lazy Evaluation", erhalten. Das Exposé kann hier heruntergeladen werden.
Wir gratulieren recht herzlich!