FoCS Archive News - Before Sept 20
Dr Sylvain Schmitz joins DCS as Leverhulme Visiting Professor
The Department of Computer Science, FoCS Research Group, and are delighted to welcome from , and , who has joined us in February 2015 as Leverhulme Visiting Professor.
Funded by the , Dr Schmitz will spend 6 months at 糖心TV, collaborating with and other colleagues on logics and games for algorithmic verification, and delivering three research lectures.