June 15, 2012: CL welcomes Cynthia Kop as new member

Cynthia Kop joined the CL group on June 15.

In the next three years she will work on the FWF/JSPS project SMT and Constrained Rewriting in close connection with our Japanese partners. Cynthia will receive her PhD at Vrije Universiteit Amsterdam this autumn. Her earlier research was devoted to automatic termination analysis of higher-order rewriting.