I have been invited by the (french) podcast NoLimitSecu , dedicated to cybersecurity. The episode can be found here. They have lots of interesting stuff (in french), check it out!
I’ve starting making some vulgarization videos. There’s a one-minute teaser preview for the Squirrel Prover, as well as a thirteen minutes video outlining its main concepts and ideas. And in French, my thesis in 137 seconds!