|affiliation||Computational Logic Group,|
|Institute of Computer Science|
|address||University of Innsbruck
|Technikerstrasse 21a, 2. OG (3M09)|
|A-6020 Innsbruck, Austria|
|contact||office hours: Thursday 09:00 – 11:00||email: firstname.lastname@example.org|
|tel: ++43 (0) 512 507 53213|
I received my PhD in Computer Science and my MSc in Computational Logic from the Vienna University of Technology. In addition I hold a MSc from the University of Leeds. In 2009, I received my habilitation in Computer Science from the University of Innsbruck. Since 2011, I'm an associate professor at the Institute of Computer Science of the University of Innsbruck, Austria. I head the research group Computation with Bounded Resources.
- 8th International School on Rewriting ISR 2015, HTWK Leipzig, Germany, August 13 – 18, 2015.
- chair of IFIP WG 1.6