Leslie Lamport, principal researcher at Microsoft Research Redmond, was named May 3 as one of 72 new members and 18 new foreign associates of the U.S. National Academy of Sciences.
↧