April 22, 2011
Edmund M. Clarke, the FORE Systems University Professor of Computer Science and professor of electrical and computer engineering, is among 212 leaders in the sciences, social sciences, humanities, arts, business and public affairs who have been elected to the American Academy of Arts & Sciences (AAAS) this year. Clarke is the 17th AAAS member affiliated with Carnegie Mellon.
Clarke, who won the 2007 A.M. Turing Award - often referred to as the Nobel Prize of Computer Science - will join other 2011 members, including jazz icon Dave Brubeck, singer-songwriters Paul Simon and Leonard Cohen, actors Helen Mirren and Daniel Day-Lewis, filmmaker Ken Burns, Nobel laureates Ei-Ichi Negish (chemistry) and H. David Politzer (physics), and Ford CEO Alan Mulally, for the Oct. 1 induction ceremony at the academy's headquarters in Cambridge, Mass.
Established in 1780 by John Adams, John Hancock and other founders of the nation, AAAS is one of the nation's most prestigious honorary societies. Its members have included such "thinkers and doers" as Benjamin Franklin, Ralph Waldo Emerson and Albert Einstein.