# Posts in the year 2023

### Formalizing invisible mathematics

- 13 February 2023
- Talks

I am at the Machine assisted proofs workshop at the UCLA Institute for Pure and Applied Mathematics, where I am about to give a talk on “Formalizing invisible mathematics”.

Here are the slides with speaker notes and the video recording of the talk.

→ continue reading### Exploring strange new worlds of mathematics

- 10 February 2023
- Talks, Constructive math

On February 10, 2023, I gave my Levi L. Conant Lectur Series talk “Exploring strange new worlds of mathematics”, at the math department of Worcester Polytechnic Institute. Here are the slides with speaker notes and the video recording of the talk.

→ continue reading