Microsoft Research
Un article de Wikipédia, l'encyclopédie libre.
|
|
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
|
Microsoft Research (MSR) est une division de Microsoft spécialisée dans la recherche en informatique. Elle a été créée en 1991.
Quelques chercheurs ayant travaillé ou travaillant pour Microsoft Research [modifier]
- Nathan Myhrvold, fondateur de Microsoft Research,
- C.A.R. Hoare (lauréat 1980 du prix Turing),
- Butler Lampson (lauréat 1992 du prix Turing),
- Michael Freedman (Médaille Fields 1986),
- Jim Blinn (MacArthur Fellow en juillet 1991),
- Jim Gray (lauréat 1998 du prix Turing)
- Leslie Lamport (lauréat 2000 du prix Dijkstra)
- Charles P. Thacker, lauréat 2009 du prix Turing
- Madhu Sudan, lauréat 2001 du Prix Gödel et lauréat 2002 du prix Nevanlinna