Skip Navigation

Home  >  About  >  Awards  >  Bios






2013 - Not Awarded


2012 - Fred B. Schneider

Photo of 2012 IEEE Emanuel R. Piore Award recipient, Fred B. Schneider

Fred B. Schneider’s expertise in cybersecurity places him among a handful of academics to whom the U.S. government turns for advice on cybersecurity issues. His research on fault tolerance, security, formal methods, and public policy has significantly contributed to the development of trustworthy computer systems. Dr. Schneider made important contributions to fault-tolerant distributed systems starting in the 1980s, helping both to develop the state-machine approach for building a reliable distributed system and to define the fail-stop processor abstraction. Dr. Schneider was the editor of Trust in Cyberspace (National Academy Press, 1998), a landmark treatise on cybersecurity. He has served on the U.S. Defense Science Board as well as U.S. Department of Commerce’s Information Security and Privacy Advisory Board, and he has been the co-chair of the Microsoft Trustworthy Computing Academic Advisory Board since 2003.

An IEEE Fellow, Dr. Schneider is currently the Samuel B. Eckert Professor of Computer Science at Cornell University.


top of page


2011 - Shafi Goldwasser

Photo of 2011 Emanuel R. Piore Award recipient Goldwasser

Shafi Goldwasser is one of the key figures responsible for the success of modern cryptography in providing secure electronic data transmission and exchange. In 1983, her work on probabilistic encryption with Silvio Micali demonstrated how to use randomness to define and achieve semantic security. She produced one of the most celebrated results in modern cryptography in 1985 with her work on zero-knowledge proofs with  Silvio Micali and Charles Rackoff. This special type of interactive proof allows one to prove possession of information or property without revealing the information itself. In the area of complexity theory, Dr. Goldwasser and co-authors showed a new method to classify the complexity of even approximating the solution of NP complete problems. With Oded Goldreich and Dana Ron, Dr. Goldwasser initiated the field of property testing of combinatorial objects such as graphs.

An IEEE Member, Dr. Goldwasser is currently the RSA Professor of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology, Cambridge and Professor of Computer Science and Applied Mathematics at Weizmann Institute of Science Rehovot, Israel.


top of page


2010 - Nancy Ann Lynch

Nancy Lynch

Nancy Lynch helped define the theoretical underpinnings of distributed computing and has continued to impact all facets of the field. Among her many contributions, Dr. Lynch is best known for her work on impossibility results. With colleagues Michael Fischer and Michael Paterson in 1982, she proved that reaching a consensus is impossible in distributed computing systems if there may be even just one faulty process. Known as “FLP,” this has important implications for limitations on the power of distributed systems since no component has knowledge of what the rest of the system is doing. Dr. Lynch has proven impossibility results for many other situations, developing algorithms proving that much can actually be done in applications ranging from clock synchronization to resource allocation to data management to robot motion coordination. She also pioneered the “input-output automata” approach to verifying the correctness of algorithms.
Dr. Lynch is currently the NEC Professor of Software Science and Engineering at the Massachusetts Institute of Technology, Cambridge.



top of page


2009 - David J. Dewitt

photo of David DeWitt

David J. DeWitt’s widespread impact on database technology includes developing new architectures and performance analysis metrics and creating one of the world’s leading academic research groups. Dr. DeWitt led the evolution of database architectures by developing many of the algorithms used in parallel database systems and by building their prototypes. His Gamma database represented a move toward using an array of general-purpose computers working in parallel to process data instead of special-purpose “database machines.” Today’s commercial parallel systems can be traced back to the Gamma database.

He also pioneered the idea of multimedia and object-oriented databases that can handle digital images, audio, video and Internet content. Dr. DeWitt developed the benchmarks that have become the standard performance metrics for the industry. The University of Wisconsin-Madison’s database group of the Computer Science Department was founded by Dr. DeWitt, and the group has produced some of the top names in the field. He is currently a Technical Fellow, Microsoft Jim Gray Systems Lab, Madison, Wisconsin. 


top of page


2008 - Richard F. Rashid

photo of Richard Rashid

Richard Rashid, senior vice president and founder of Microsoft Research's worldwide operations (MSR), has been a major contributor to Microsoft’s digital media, interactive TV and e-commerce initiatives. During his career, which has touched both academic and research disciplines, Dr. Rashid has made numerous contributions to distributed computing, including the development of three landmark distributed operating systems: the Rochester Intelligent Gateway, Accent and Mach (an early inspiration in the creation of Microsoft’s Windows NT and a direct ancestor to several versions of Unix and of the Apple Macintosh OS X platform). Dr. Rashid holds a number of patents in several areas, including data compression, networking and operating systems. An IEEE Senior Member, Dr. Rashid is also a member of the National Academy of Engineering and received the 1985 Association for Computing Machinery Symposium on Operating Systems Principles Paper Award. 


top of page


2007 - Randal E. Bryant

photo of Randal Bryant

Dr. Randal E. Bryant is a professor and dean of the School of Computer Science at Carnegie Mellon University in Pittsburgh, PA. He is internationally known for developing methods of reasoning about digital circuits using ordered binary decision diagrams (OBDDs), and for using OBDDs to formally verify hardware designs.

Dr. Bryant began his research in hardware verification developing switch-level simulation, enabling efficient modeling of large-scale circuits by using a discrete model of transistor operation. Over time, his focus shifted from simulation, where a design is tested for a representative set of cases, to formal verification, where the design is shown to operate correctly under all possible conditions. OBDDs enable circuits to be simulated symbolically, covering all possible behaviors in a single execution. OBDDs are now widely used for circuit verification, synthesis, and testing, as well as in such diverse areas as artificial intelligence planning and compiler optimization.


top of page


2006 - Robert K. Brayton

photo of Robert Brayton

A professor in the Department of Electrical Engineering and Computer Sciences at the University of California at Berkeley, Dr. Robert K. Brayton is internationally recognized as one of the world’s preeminent authorities and a pioneer in logic synthesis and formal verification.

His seminal contributions to logic synthesis have been critical in the design of application-specific integrated circuits and the development of CAD products that use logic synthesis tools. Dr. Brayton’s work resulted in design automation methods that enable the rapid circuit design for diverse applications in the consumer, defense and health-care fields. In addition to practical design tools, his work in logic synthesis led to such practical implementations as the retiming and optimization of circuits for high speed. His activities have helped cut the cost of semiconductor chip design while allowing for better performance and electrical characteristics than those designed manually.

Dr. Brayton led the development of the Multi-level Logic Synthesis System, MIS, which is a program developed at Berkeley and used by industry leaders like Intel and DEC. The MIS program and its successor, SIS, VIS, MVSIS, and ABC, are used worldwide for education and for the design and verification of complex logic systems, influencing almost all commercially successful EDA systems and many internal developments at major semiconductor manufacturers.

Earlier in his career, as a researcher at the IBM Thomas J. Watson Research Center in Yorktown Heights, New York, he led the Yorktown Silicon Compiler team working on the most advanced logic synthesis system at the time. He is also recognized for his co-development of the sparse tableau methodology. It is the foundation for many of the main ideas in circuit simulation today, including the ASTAP-II circuit simulation program at IBM which he helped develop.

An IEEE Fellow and member of the National Academy of Engineering, Dr. Brayton has received the IEEE Circuits and Systems Technical Achievement Award, the Circuits and Systems Golden Jubilee Award, and the IEEE Third Millennium Medal. He received the 2006 European Design Automation Society lifetime achievement award presented at the Design, Automation and Test in Europe Conference and Exhibition in Munich.

He holds a bachelor's degree in electrical engineering from Iowa State University in Ames, Iowa, and a doctoral degree in mathematics from the Massachusetts Institute of Technology in Cambridge.


top of page


Awards Nomination Deadlines

2017 IEEE Honors Ceremony

2017 IEEE Medal of Honor Recipient Kees Schouhamer Immink video screenshot

IEEE Awards Social Media

Follow and engage with IEEE on the following sites:

Follow on FaceBook   Facebook

Twitter   Twitter

LinkedIn   LinkedIn

Instagram   Instagram