Martin Avanzini

(PhD) Student Computational Logic Institute of Compute Science University of Innsbruck Technikerstr. 21a/2 6020 Innsbruck Austria e-mail: (λxy.martinyavanzinixuibkyacyat) @ .

My current research focus is on complexity analysis of term rewrite systems. See my DBLP entry and my list of publications for a closer look at my research interests. I am developer of the Tyrolean Complexity Tool, a tool for automatically proving upper bounds on derivational- and runtime-complexity of rewrite systems.

Teaching

• WS12 Einführung in die Theoretische Informatik.
• SS11 Proseminar Algorithms and Datastructurs.
• SS10 Proseminar Discrete Mathematics.
• WS09 Proseminar Logics in Computer Science.

Projects

• 2009 - 2011: Member of project FWF P20133, Derivational Complexity Analysis. .
• 2011 - 2012: Doktoratsstipendium aus der Nachwuchsförderung, University of Innsbruck.
• 2012 - ongoing: Structural and Computational Proof Theory
  Joint Project, bilateral research project between ANR and FWF; project number I608-N18; duration 3 years.