The Department of Computer Science, FoCS Research Group, and DIMAP are delighted to welcome Sylvain Schmitz from LSV, ENS Cachan, CNRS and INRIA Saclay, who has joined us in February 2015 as Leverhulme Visiting Professor.

Funded by the Leverhulme Trust, Dr Schmitz will spend 6 months at Warwick, collaborating with Dr Ranko Lazic and other colleagues on logics and games for algorithmic verification, and delivering three research lectures.