I left my research position at University of Innsbruck on 30 April, 2015.

Research Focus

My research is concerned with the automated analysis of programs, mainly via tools from logic (rewriting, automated deduction) and algebra.


I obtained my PhD in computer science in 2009 (thesis: Lazy Termination Analysis) under the supervision of Aart Middeldorp and received my venia docendi in computer science from the University of Innsbruck in 2015 (thesis: Challenges in Automation of Rewriting).


e-mail: Harald^Zankl(at)uibk^ac^at where ^ means (dot)



CoCo 2015     WPTE 2015    
CoCo 2014     RTATLCA 2014     WPTE 2014     WST 2014
CoCo 2013     IWC 2013
CoCo 2012