March 21, 2013: Sarah Winkler passed her final examination

Today MSc Sarah Winkler passed the rigorosum (cum laude) to obtain her doctorate degree.

Her thesis deals with the use of termination tools in automated reasoning. We are happy that Sarah will stay in the Cl group as a postdoctoral researcher on the FWF-JSPS project Constrained Rewriting and SMT: Emerging Trends in Rewriting.