Jamie Hochrainer and Manuel Meitinger will strengthen our group in the future. Jamie has just started her Master project on the topic of formalising of amortised cost analyses of (sophisticated) data structures, while Manuel will busy himself with (automated) cost and value analyses of probabilistic imperative programs.
