Jamie Hochrainer und Manuel Meitinger werden unsere Gruppe künftig verstärken. Jamie hat gerade ihr Masterprojekt zum Thema Formalisierung amortisierter Kostenanalysen von (komplexen) Datenstrukturen begonnen, während Manuel sich mit (automatisierten) Kosten- und Wertanalysen probabilistischer Imperativprogramme beschäftigen wird.
