In September 2020, I started as a PhD candidate at the Mathematical Institute at Leiden University, under the supervision of Márton Hablicsek. I am interested in algebraic geometry, character stacks, the Grothendieck ring of varieties and stacks, and automated theorem proving.