Forschungspreise der Stiftung Südtiroler Sparkasse (September 15, 2010)

Georg Moser was awarded the „Forschungspreise der Stiftung Südtiroler Sparkasse“ to honour his habilitation thesis “Proof Theory at Work: Complexity Analysis of Term Rewrite Systems”.

The cummulative habiliation thesis is available here:

Proof Theory at Work: Complexity Analysis of Term Rewrite Systems

The prize will be awarded on October 12, 5pm, Aula, University of Innsbruck.