Ben Davis is a first year MSc. student at McGill University under the supervision of Robert Robere, and previously completed a BSc. at McGill in Computer Science. He has a broad interest in computational complexity theory, in particular proof complexity, and has experience in communication and proof complexity. He also holds a strong curiosity for other fields of theoretical computer science.