From Liam Holligan
Anupam Das (Birmingham)The size of proofs: from mathematical logic to computational complexity and back