November 12, 2013: Martin Avanzini passed his final examination

Martin Avanzini MA, passed his rigorosum (cum laude) and will soon be officially honoured with his doctorate. Congratulations!

Martin intends to move house to Bolognia to work on complexity analysis of higher-order rewrite systems; let’s hope the Austrian Science Fund grants this wish.