[Maro]

I agree. For example, Leslie Lamport, who invented many distributed algorithms that are used at Google (eg. Paxos is used in Chubby and in Megastore) works at Microsoft Research. Watching or reading interviews with him, I get the feeling that he is a "pure [computer] scientist", probably not that interested in getting his stuff into the next product.