February 4, 2013
The Chinese Academy of Sciences
has named Edmund M. Clarke
, the FORE Systems University Professor of Computer Science
and Electrical and Computer Engineering
, an Einstein Professor for 2013. As part of the professorship, Clarke will visit the Suzhou Institute for Advanced Study of the University of Science and Technology of China later this year. He subsequently will host a Chinese scholar for several months at Carnegie Mellon.
The Einstein Professorship Program
is a key initiative of the Chinese Academy of Sciences that aims to strengthen exchanges between the Einstein chairs and Chinese scientists and enhance the training of future generations of Chinese scientists. The academy annually invites 20 top scientists and technologists to spend one or two weeks in China, where they present lectures, preside at interdisciplinary workshops, and interact with faculty and students.
Clarke is a pioneer in the field of model checking, an automated method for finding design errors in computer hardware and software. His role in creating model checking was recognized by the Association for Computing Machinery (ACM) with the 2007 Turing Award, the most prestigious award in computing. In 2008, Carnegie Mellon named him a University Professor, the highest rank the university confers on faculty members. He directs the Computational Modeling and Analysis of Complex Systems project
, sponsored by the National Science Foundation, and in 2008 was inducted into the American Academy of Arts and Sciences — one of the nation's oldest and most prestigious learned societies. Last year, the Vienna University of Technology awarded him an honorary doctorate.
View the official Carnegie Mellon press release here