| |
Institute of Electrical and Electronics Engineers (IEEE) Computer Society
Harlan D. Mills Award
This award recognizes researchers
and practitioners who have demonstrated longstanding, sustained, and
meaningful contributions to the theory and practice of the information
sciences, focusing on contributions to the practice of software
engineering through the application of sound theory.
| |
2011: John Rushby, for practical and fundamental contributions to software and hardware
reliability with seminal contributions to computer security, fault
tolerance, and formal methods. |
|
|