Computer Science News
Dr Sylvain Schmitz joins DCS as Leverhulme Visiting Professor
The department and DIMAP are delighted to welcome Sylvain Schmitz from LSV, ENS Cachan, CNRS and INRIA Saclay, who has joined us this week 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.