Nadish de Silva Postdoctoral Researcher, University College London Program Visits Logical Structures in Computation, Fall 2016. Visiting Postdoc.