Eight members of ACM were among the 120 members and 26 international members elected to the National Academy of Sciences (NAS) this week in recognition of their distinguished, continuing achievements in original research.
The newly honored scientists are:
Vinton G. Cerf, vice president and chief Internet evangelist at Google Inc., Reston, VA. Cerf co-developed TCP/IP with Robert Kahn. A past president of ACM, Cerf is an ACM Fellow, and has been awarded the ACM A.M. Turing Award, the ACM Software System Award, and the ACM Presidential Award, among others. Cerf also is an IEEE Fellow, and has received numerous awards and commendations in connection with his work on the Internet, including the U.S. Presidential Medal of Freedom, the U.S. National Medal of Technology, the Queen Elizabeth Prize for Engineering, the Prince of Asturias Award, the Tunisian National Medal of Science, the Japan Prize, the Charles Stark Draper award, Officer of the Legion d'Honneur, and more than two dozen honorary degrees.
Ronald Fagin, IBM Almaden Research Center, San Jose, CA. Fagin is is known for his work in database theory, finite model theory, and reasoning about knowledge. Fagin has received numerous professional awards for his work, including membership in the National Academy of Engineering and the American Academy of Arts and Sciences. In addition to being an IBM Fellow, Fagin is a Fellow of ACM, IEEE, and the American Association for the Advancement of Science. He was awarded the Gödel Prize in 2014. The IEEE presented him the IEEE W. Wallace McDowell Award for outstanding recent theoretical, design, educational, practical, or other similar innovative contributions, and the IEEE Technical Achievement Award. He received the SIGMOD Edgar F. Codd Innovations Award, as well as 10-year Test-of-Time Awards at the 2011 ACM Symposium on Principles of Database Systems, the 2013 International Conference on Database Theory, and the 2014 ACM Symposium on Principles of Database Systems.
Thomas Henzinger, university president, Institute for Science and Technology Austria. Henzinger's research is focused on modern systems theory, particularly on the models, algorithms, and tools for the design and verification of reliable software, hardware, and embedded systems; his HyTech tool was the first model checker for mixed discrete-continuous systems. A member of Academy of Sciences Leopoldina, Austrian Academy of Sciences, Academia Europaea, and IEEE, Henzinger is an ACM Fellow. He was awarded the 2015 Milner Award for outstanding achievement in computer science by a European researcher.by the Royal Society, as well as Doctor honoris causa from Masaryk University in the Czech Republic, and the Wittgenstein Prize of the Austrian Science Fund in recognition of "excellent scientists" up to 55 years of age who "have produced exceptional scientific work and who occupy a prominent place in the international scientific community."
Yonggang Huang, Walter P. Murphy Professor of Civil and Environmental Engineering and Mechanical Engineering in the department of mechanical engineeringof the McCormick School of Engineering of Northwestern University, in Evanston, IL. The focus of Huang's research is the mechanics of materials and structures across multiple scales. In recent years he has focused on mechanics and thermal analysis of stretchable and dissolvable electronics with applications to energy harvesting and medicine, and mechanically guided, deterministic three-dimensional assembly. Among the many awards and honors Huang has received are the Larson Award, Melville Medal, Richards Award, Drucker Medal, Nadai Medal, and Thurston Lecture Award from the American Society of Mechanical Engineers; the Young Investigator Medal and Prager Medal from the Society of Engineering Sciences; the International Journal of Plasticity Medal; the Guggenheim Fellowship, and the Bazant Medal and von Karman Medal from the American Society of Civil Engineers (ASCE).
Elizabeth A. Kellogg, Robert E. King Distinguished Investigator at the Donald Danforth Plant Science Center, St. Louis, MO. Kellogg, a botanist who works mainly on grasses and cereals, both wild and cultivated, uses cryogenic electron microscopy (Cryo-EM) to study the structure of macromolecular complexes that reorganize DNA within the genome. She currently is working to determine the atomic structure of unique transposases in order to learn more about mechanisms of transposition.
Jennifer Rexford, Gordon Y.S. Wu Professor in Engineering, and chair of the department of computer science, at Princeton University, Princeton, NJ. Rexford's research focuses on networking, network virtualization, Internet measurement, network management, and network troubleshooting. Recipient of the ACM Grace Murray Hopper Award for outstanding young computer professionals and the ACM Athena Lecturer Award celebrating women researchers who have made fundamental contributions to computer science, Rexford is an ACM Fellow and a member of the American Academy of Arts and Sciences and the National Academy of Engineering.
Jeffrey D. Ullman, Stanford W. Ascherman Professor of Computer Science (Emeritus) at Stanford University, Stanford, CA. One of the founders of the field of database theory, Ullman's interests als0 include database integration, data mining, and education using the information infrastructure. An ACM Fellow, Ullman received the ACM Karl V. Karlstrom Outstanding Educator Award "for his profound and lasting impact on computer science education through the books he has written, and the doctoral students he has supervised." A recipient of the Donald E. Knuth Prize for outstanding contributions to the foundations of computer science, Ullman also was co-recipient, with Ullman is also the co-recipient, with John Hopcroft, of the 2010 IEEE John von Neumann Medal "for laying the foundations for the fields of automata and language theory and many seminal contributions to theoretical computer science."
Bonnie Berger, an associate member of The Eli and Edythe L. Broad Institute biomedical and genomic research center of the Massachusetts Institute of Technology (MIT) and Harvard University, and Simons Professor of Mathematics in the department of mathematics and professor of electrical engineering and computer science of MIT, Cambridge, MA. Recipient of the Margaret Oakley Dayhoff Award of the Biophysical Society, which is presented to a woman who "holds very high promise or has achieved prominence while developing the early stages of a career in biophysical research," Berger also is a member of the American Academy of Arts and Sciences, a Fellow of The International Society for Computational Biology, a Fellow of the American Institute for Medical and Biomedical Engineering, and was named a Fellow of the American Mathematical Society "for contributions to computational biology, bioinformatics, algorithms, and for mentoring." Last year, Berger was awarded the Accomplishment by a Senior Scientist Award by the International Society for Computational Biology, which "recognizes a member of the computational biology community who is more than two decades post-degree and has made major contributions to the field of computational biology."
The National Academy of Sciences (NAS) is a private, non-profit society of distinguished scholars established by an Act of Congress and charged with providing independent, objective advice to the nation on matters related to science and technology. Scientists are elected by their peers to membership in the NAS for outstanding contributions to research.