Vladimir Veovodski

Recevez la lettre d'information

Télécharger la lettre d'information

La Bifurcation

La FSMP a rencontré Vladimir Veovodsky, médaille Fields 2002, qui retrace ici son parcours singulier. Spécialiste de géométrie algébrique couronnée 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.