La FSMP a rencontré Vladimir Voevodsky, médaille Fields 2002, qui retrace ici son parcours singulier. Spécialiste de géométrie algébrique couronné de succès, il a opéré depuis plusieurs années un tournant radical, se consacrant à la logique et à l'informatique fondamentale, en particulier aux assistants de preuve.
