SRIインターナショナルの形式手法とディペンダブルシステム研究プログラムを主導するJohn Rushby氏が、コンピュータセキュリティ、フォルトトレランス、形式手法に関する多大な貢献や、ソフトウェアとハードウェアのディペンダビリティの実践と基礎に関する貢献について IEEE Computer Society Mills Award を受賞した。 受賞者は、ソフトウェア工学国際会議(ICSE：International Conference on Software Engineering)における招待講演の機会が与えられる。