Michael Forbes

  1. Title:
    Proof Complexity Lower Bounds from Algebraic Circuit Complexity
    Speaker:
    Michael Forbes

    Link:
    https://www.ias.edu/video/csdm/2016/0119-Forbes

  2. Title:
    Dimension expanders via rank condensers
    Speaker:
    Michael Forbes

    Link:
    https://www.ias.edu/video/csdm/2015/0203-MichaelForbes

  3. Title:
    Polynomial Identity Testing of Read-Once Oblivious Algebraic Branching Progress
    Speaker:
    Michael Forbes

    Link:
    https://www.ias.edu/video/csdm/forbes