L'Académie des sciences distingue et encourage des chercheurs français et étrangers en décernant des Prix.
en
fr
L'Académie des sciences distingue et encourage des chercheurs français et étrangers en décernant des Prix.
en
fr
Montant : 50.000 €
Créé en 2007.
Prix annuel des sciences de l’informatique et de leurs applications, fondé par la fondation d’entreprise EADS et destiné à récompenser l’ensemble des travaux d’une personnalité scientifique dans un laboratoire français, qui a contribué de manière exceptionnelle au dynamisme et au rayonnement de la recherche en informatique avec une coopération remarquable avec l’industrie.
! Fin de l'appel à candidature 2012
Séance solennelle de remise des Prix du 22 novembre 2011
Le Grand Prix de la Fondation d'entreprise EADS (informatique) 2011 de l'Académie des sciences est décerné à Georges Gonthier. La séance solennelle de remise de ce Prix a eu lieu le 22 novembre 2011
Voir les discours prononcés au cours de cette cérémonie et le reportage photo
Lauréat 2011 :
Georges Gonthier, principal researcher au centre de recherche commun INRIA-Microsoft Research, Orsay et Cambridge (Royaume-Uni).
Après un début de carrière aux Bell Laboratories et à l'Institut National de la Recherche en Informatique et en Automatique (INRIA), Georges Gonthier (49 ans) est chercheur au laboratoire européen de Microsoft Research à Cambridge et au centre de recherche commun INRIA/Saclay-Microsoft Research situé à Orsay. Brillant informaticien, il a fait des contributions importantes, créatives et originales dans plusieurs domaines : notamment les langages de programmation temps-réel, les calculs algébriques et langages de programmation pour la programmation et la vérification distribuée, la vérification de programmes parallèles (y compris industriels) et la vérification formelle de théorèmes mathématiques. Dans ce dernier domaine, en collaboration avec Benjamin Werner, il a obtenu, une preuve formelle complètement vérifiable en machine du Théorème des Quatre Couleurs, en utilisant l'assistant de preuve Coq de l'INRIA. Il s'agit véritablement d'un tour de force qui a changé la vision et l'échelle de la preuve
assistée en machine. Il s'attaque maintenant à des théorèmes comme le théorème de Feyt-Thomson en théorie des groupes, développant par là-même la nouvelle discipline du "génie logicien".
16.01.2012
] 
Aurore boréale en Norvège, env. 70° de latitude nord, région de Tromsø, près du glacier Steindalen, dans les Alpes de Lyngen, le 14 mars 2010. Après un retard inexpliqué de son cycle, l'activité du Soleil a redémarré début février 2010 entraînant un regain d'activité aurorale dans les régions les plus septentrionales. C'est dans la haute atmosphère que les flots de particules chargées et guidées par le champ magnétique de la Terre percutent les molécules composant notre atmosphère, après avoir subi des perturbations du vent solaire. Les atomes ainsi excités émettent un rayonnement visible dans différentes longueurs d'ondes, en fonction de leur nature. Entre 100 et 250 km d'altitude environ, la couleur verte provient de l'excitation des atomes d'oxygène.