I am a PhD student in Computer Science at McGill University, studying with Robert Robere. My primary interests are in proof complexity, TFNP, and extremal combinatorics.