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.