April 21, 2015: Harald Zankl completes his habilitation procedure

Harald Zankl’s research is concerned with the automated analysis of programs.

His thesis ``Challenges in Automation of Rewriting’‘ explains how several properties of rewrite systems can be investigated automatically.