PITTSBURGH--The Franklin Institute in Philadelphia has named two Carnegie Mellon University professors recipients of its annual awards honoring leaders in science, engineering, technology and business.
Edmund M. Clarke is the recipient of the 2014 Bower Award and Prize for Achievement in Science, and Mark H. Kryder is a co-recipient of the 2014 Benjamin Franklin Medal in Electrical Engineering.
"Mark Kryder and Edmund Clarke have each made distinctive and important contributions to information technology in our time, and they have each had a transformative impact on the way computer hardware, software, and systems are designed and developed. Carnegie Mellon is very proud that two of the university's outstanding faculty members are being honored in the same year by an institution with the global stature of The Franklin Institute," said CMU President Subra Suresh, who received the 2013 Benjamin Franklin Medal in Mechanical Engineering and Materials Science.
The awards program, founded in 1824, is one way The Franklin Institute preserves Benjamin Franklin's legacy. It recognizes individuals whose great innovation has benefited humanity, advanced science, launched new fields of inquiry and deepened understanding of the universe. Alexander Graham Bell, Thomas Edison, Albert Einstein and Jane Goodall are among The Franklin Institute's laureates.
Edmund M. Clarke
Clarke, the FORE Systems University Professor of Computer Science and professor of electrical and computer engineering, is being honored "for his leading role in the conception and development of techniques for automatically verifying the correctness of a broad array of computer systems, including those found in transportation, communications and medicine."
These techniques, known as Model Checking, analyze the logic underlying a design, much as a mathematician uses a proof to determine that a theorem is correct. The automated method for identifying design errors considers every possible state of a hardware or software design and determines if it is consistent with the designer's specifications. Clarke implemented the first Model Checker in 1982, the same year he joined CMU's faculty.
He directs Computational Modeling and Analysis of Complex Systems, a National Science Foundation project that is extending Model Checking and other formal verification techniques to produce insights into a variety of complex systems, from embedded computer systems to cancer.
The Bower Award and Prize includes a gold medal and a cash prize of $250,000. It was established in 1988 with a bequest from Henry Bower, a Philadelphia chemical manufacturer who also endowed an award for business leadership.
Clarke previously won the Association for Computing Machinery's (ACM) A.M. Turing Award, often referred to as the "Nobel Prize of computing," with E. Allen Emerson of the University of Texas at Austin and Joseph Sifakis of the University of Grenoble in France, for their pioneering work on Model Checking. He also received the ACM's Paris Kanellakis Theory and Practice Award and CMU's School of Computer Science (SCS) Allen Newell Award for Research Excellence with Emerson, SCS Dean Randal Bryant and SCS alumnus Kenneth L. McMillan, now with Microsoft Research, for their invention of Symbolic Model Checking.
Clarke has received numerous individual honors and awards from industry and academic organizations. He is a fellow of the ACM and the Institute of Electrical and Electronic Engineers (IEEE), and an elected member of the National Academy of Engineering (NAE) and American Academy of Arts and Sciences. The Chinese Academy of Sciences this year named him an Einstein Professor. He co-founded the International Conference on Computer-Aided Verification and is the former editor-in-chief of Formal Methods in Systems Design.
Mark H. Kryder
Kryder, University Professor of Electrical and Computer Engineering, is being recognized along with Shunichi Iwasaki of Japan's Tohoku Institute of Technology "for the development and realization of the system of Perpendicular Magnetic Recording, which has enabled a dramatic increase in the storage capacity of computer-readable media."
Kryder and Iwasaki are receiving one of six Benjamin Franklin Medals awarded in 2014. Other medal winners are being recognized for leadership in chemistry, earth and environmental science, life science, mechanical engineering and physics.
Kryder joined CMU's faculty in 1978 and founded the university's Magnetics Technology and Data Storage Systems centers (DSSC) in 1983 and 1990, respectively. Under his direction, the DSSC became the world's largest academic research center in the field of data storage technology.
From 1998 to 2007, he was senior vice president of research and chief technical officer at Seagate Technology. During this time, Seagate introduced perpendicular recording technology and full disk encryption, both of which are used on hard disk drives today. He also initiated the company's program on Heat Assisted Magnetic Recording (HAMR), which Seagate recently announced was used to demonstrate an information storage density of one terabit per square inch. Upon retiring from Seagate in 2007, he returned to CMU to continue research on HAMR and to initiate a research program on materials for spin torque transfer random access memory (STTRAM).
Kryder has published more than 370 papers and holds 24 patents in the field of magnetic memory and storage technology. He is an elected member of the NAE and a fellow of the American Physical Society and the IEEE, which has bestowed three awards upon him. Kryder's other honors include the American Institute of Physics' George E. Pake Prize and the Public Service Medal of Singapore.
Clarke, Kryder and fellow honorees will receive their awards at a ceremony and dinner on April 24, 2014, in Philadelphia. It culminates a weeklong series of events and activities that connect laureates with students and the community. While celebrating the "Franklins" of today, The Franklin Institute hopes to inspire and influence the innovation of the "Franklins" of tomorrow.
About Carnegie Mellon University: Carnegie Mellon is a private, internationally ranked research university with programs in areas ranging from science, technology and business, to public policy, the humanities and the arts. More than 12,000 students in the university's seven schools and colleges benefit from a small student-to-faculty ratio and an education characterized by its focus on creating and implementing solutions for real problems, interdisciplinary collaboration and innovation. A global university, Carnegie Mellon has campuses in Pittsburgh, Pa., California's Silicon Valley and Qatar, and programs in Africa, Asia, Australia, Europe and Mexico.