Ben Davis

Graduate Student, Mcgill University
Visiting Graduate Student
Program: Meta-Complexity
Dates of Visit: Jan. 10May 12, 2023

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.

Program Visits