André Hernich Lecturer, University of Liverpool Website Program Visits Logical Structures in Computation, Fall 2016. Visiting Scientist.