Lucien Hardy Professor, Perimeter Institute Website Opens new tab Program Visits Logical Structures in Computation, Fall 2016