Sabbatical, 2026–2027
I will be on sabbatical for the 2026-2027 academic year, and so will not be taking students or doing any undergraduate supervision.
My current coordinates: the Isaac Newton Institute at Cambridge Universty.
McGill University / Computer Science
Associate Professor · Computational Complexity · Proof Complexity
I will be on sabbatical for the 2026-2027 academic year, and so will not be taking students or doing any undergraduate supervision.
My current coordinates: the Isaac Newton Institute at Cambridge Universty.