Abstract
Note: This talk will be presented virtually.
Some stories about what it's been like to work with Toni and have her as a mentor over the past decade. Technical results that I'll touch upon briefly include our work on the Ideal Proof System, as well as some very recent results on the algebraic proof complexity of Tensor Isomorphism (joint with Toni, Nicola Galesi, and Adrian She).