Section: Overall Objectives

Highlights of the Year

Assia Mahboubi, Enrico Tassi and Cyril Cohen were among the main participants in the project of formalization of the Feit-Thompson (Odd Order) theorem finally completed in September 2012 by the Mathematical Components team (lead by Georges Gonthier).

Bruno Barras and Assia Mahboubi have been granted fellowships by the Insititute for Advanced Study (Princeton, USA).