Nadish de Silva Postdoctoral Researcher, University College London Website Opens new tab Program Visits Logical Structures in Computation, Fall 2016, Visiting Postdoc