August 8, 2013: René Thiemann successfully completed his habilitation procedure

After the final presentation of his habilitation thesis on July 4, today René Thiemann was officially authorized to teach the subject “computer science”.

The content of his research was on the formalization of termination techniques in the theorem prover Isabelle/HOL which is closely related to his FWF project on certified termination analysis.