Sifakis, Joseph, professor, School of Computer and Communication Science, École Polytechnique Federale de Lausanne, Lausanne, Switzerland. For co-inventing model checking and for contributions to the development and verification of real-time and embedded systems.

　　Smith, Colin P., group president, Rolls-Royce PLC, Derbyshire, United Kingdom. For leadership in design, technologies, and manufacturing processes that enhance airworthiness, safety, and environmental sustainability of large aeroengines.

　　Vayenas, Constantinos G., professor, department of chemical engineering, University of Patras, Patras, Greece. For fundamental studies on electrochemical modification of catalytic activity leading to the industrial design and use of new promoted catalysts.

　　Woodford, Dennis A., president, Electranix Corp., Winnipeg, Manitoba, Canada. For developing analytical methods related to HVDC transmission and high-power DC-DC transformation systems.