You can find my CV here.
Here are slides of my previous talks.
- Life Pro Tip: How to Responsibly Obtain More Real Numbers? at the Pizza Seminar
- Proof Theory of Continuous Logic at Fudan Logic Student Seminar
- Defying Gödel: Let’s Prove the Consistency of Peano Arithmetic at the Pizza Seminar
I am also doing a project formalizing Tarski geometry in Lean.