March 28, 2013: Julian Nagele completed his master studies

Today Julian Nagele successfully defended his master thesis on higher-order termination.

We are very happy that Julian will stay in the Cl group as a doctoral candidate on the FWF project Confluence: Automation, Certification, Extensions.