Bravo à Xavier Leroy qui est un grand monsieur de l'informatique.
Rappelons tout de même que ce prix s'appelait auparavant « Microsoft Award » jusque 2009 et qu'il est toujours supporté par Microsoft Research. Cela biaise sans doute le fait que cela puisse être un vrai grand prix académique, puisqu'il est lié à une entreprise en particulier.
# prix Microsoft
Posté par Jiel (site web personnel) . En réponse au journal Xavier Leroy est le lauréat 2016 du Prix Milner.. Évalué à 3.
Bravo à Xavier Leroy qui est un grand monsieur de l'informatique.
Rappelons tout de même que ce prix s'appelait auparavant « Microsoft Award » jusque 2009 et qu'il est toujours supporté par Microsoft Research. Cela biaise sans doute le fait que cela puisse être un vrai grand prix académique, puisqu'il est lié à une entreprise en particulier.