Skip to content

Home

Simons Institute for the Theory of Computing

Search form

  • Annual Fund
    • Funders
    • Simons Foundation
    • Industry Partners
    • Academic Partners
  • Home
  • About
    • Overview
    • Contact
    • Calvin Lab
  • People
    • Overview
    • Scientific Leadership
    • Staff
    • Current Long-Term Visitors
    • Research Fellows
    • Postdoctoral Researchers
    • Scientific Advisory Board
    • Governance Board
    • Industry Advisory Council
    • Affiliated Faculty
    • Science Communicator in Residence
    • Law and Society Fellow
  • Programs & Events
    • Overview
    • Programs
    • Workshops & Symposia
    • Research Pods
    • Internal Program Activities
    • Public Lectures
    • Participate
    • 10th Anniversary Symposium
  • Visiting
    • Overview
    • Directions
    • Berkeley & the Bay Area
    • Accommodation
    • Visas
    • Families
    • Visitor Guide
    • Cal 1 Card
    • IT Guide
    • Bicycle Loans
    • Room Reservations
    • Code of Conduct
  • Watch / Read
    • SimonsTV
    • Program Reports
    • News Stories
    • Calvin Café (blog)
  • Calendar

You are here

  1. ‹ Home
  2. ‹ People
  3. ‹ Current Long-Term Visitors

Dominic Horsman

Postdoctoral Research Associate, Durham University
Website

Program Visits

  • Logical Structures in Computation, Fall 2016. Visiting Scientist.
  • Overview
  • Scientific Leadership
  • Staff
  • Current Long-Term Visitors
  • Research Fellows
  • Postdoctoral Researchers
  • Scientific Advisory Board
  • Governance Board
  • Industry Advisory Council
  • Affiliated Faculty
  • Science Communicator in Residence
  • Law and Society Fellow

Privacy Terms of Use Contact Subscribe

© 2013–2020 Simons Institute for the Theory of Computing. All Rights Reserved. ^ top