(PhD) StudentComputational Logic
Institute of Compute Science
University of Innsbruck
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.
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.