Dominic Horsman Dr., Durham University Program Visits Logical Structures in Computation, Fall 2016, Visiting Scientist