Tim Muller 6 April 2017 Departmental Lecturer, Department of Computer Science until February 2019. For details, see https://www.cs.ox.ac.uk/people/tim.muller/