Four computer scientists were among the 100 new members and 25 foreign associates elected to The National Academy of Sciences (NAS) in recognition of their distinguished and continuing achievements in original research.
Notably, 40% of the newly elected members are women—the most ever elected in any one year to date.
NAS is a private, nonprofit institution established under a congressional charter signed by President Abraham Lincoln in 1863. It recognizes achievement in science by election to membership and, with the National Academy of Engineering and the National Academy of Medicine, provides science, engineering, and health policy advice to the federal government and other organizations.
The computer scientists newly elected to membership in NAS are:
Jennifer T. Chayes, technical fellow and managing director, Microsoft Research New York, Microsoft Research Montreal, and Microsoft Research New England, Cambridge, MA. Chayes is best known for her work on phase transitions in discrete mathematics and computer science, structural and dynamical properties of self-engineered networks, and algorithmic game theory. She is considered one of the world's experts in the modeling and analysis of dynamically growing graphs.
Leonid A. Levin, professor of computer science, computer science department, Boston University, Boston, MA. He is known for his work in randomness in computing, algorithmic complexity and intractability, average-case complexity, foundations of mathematics and computer science, algorithmic probability, theory of computation, and information theory.
Scott J. Shenker, professor, department of electrical engineering and computer sciences, University of California, Berkeley, CA. Shenker has made research contributions during his career in the areas of energy-efficient processor scheduling, resource sharing, and software-defined networking.
The computer scientist named as one of NAS' newly elected foreign associates is:
David Harel, William Sussman Professor of Mathematics, department of computer science and applied mathematics, Weizmann Institute of Science, Israel. Harel is best known for his work on dynamic logic, computability, database theory, software engineering, and modelling biological systems.
No entries found