Answer
Yes, Robert Aumann is a member of the United States National Academy of Sciences. He was elected in 2002 for his distinguished contributions to Theory of cooperative games, including his work on bargaining, arbitration, and the Shapley value. Aumann's work has had a profound impact on the field of game theory, and he is considered one of the most important contributors to the field.