News Brief: Clarke Inducted Into AAAS; Presenting Keynote Addresses in Asia-Carnegie Mellon News - Carnegie Mellon University

Wednesday, October 12, 2011

News Brief: Clarke Inducted Into AAAS; Presenting Keynote Addresses in Asia

ClarkeEdmund M. Clarke, FORE Systems University Professor of Computer Science and of Electrical and Computer Engineering, was among 179 of the nation's most influential artists, scientists, scholars, authors, and institutional leaders who were inducted into the American Academy of Arts and Sciences at a ceremony in Cambridge, Mass., on Saturday, Oct. 1.

Founded in 1780, the American Academy is one of the nation's oldest and most prestigious learned societies, and an independent research center that draws from its members' expertise to conduct studies in science and technology policy, global security, the humanities and culture, social policy, and education.

Clarke was joined in the ceremony, including the traditional signing of the Book of Members, by such participants as singer-songwriter Paul Simon, David Page, renowned geneticist and director of the Whitehead Institute at Massachusetts Institute of Technology, and Nobel laureate and chemist Ei-Ichi Negishi of Purdue University.

On Oct. 12, Clarke gave a keynote address at the ninth International Symposium on Automated Technology for Verification and Analysis in Taipei, Taiwan. On Oct. 26, he is scheduled to present a keynote address at the Computing in the 21st Century Conference hosted by Microsoft Research Asia and Tsinghua University in Beijing, China.

By: Byron Spice, bspice@andrew.cmu.edu