SRI Logo
Spacer
    

Spacer
         
  SRI Logo

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.

 


 

About Us  Vertical divider  R&D Divisions  Divider  Careers  Divider  Newsroom  Divider  Contact Us
©2012 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy