Research
Selected Talks
Research Talks
-
Columbia University CS Theory Seminar
Circuit Complexity of Group Isomorphism
October 30, 2026
Interdisciplinary Talks
-
Santa Fe Institute: Proofs and Reasons Workshop
The (Computational) Complexity of Mathematical Thought
October 13, 2026