For practical and fundamental contributions to Software & Hardware Reliability with seminal contributions to computer security, fault tolerance, and formal methods.
For practical and fundamental contributions to object-oriented software engineering, software reuse, and the integration of formal methods into the above.
For leading research on the application of rigorous probabilistic and statistical techniques to problems of assessment in software engineering, particularly in systems dependability.
For encouraging software researchers to focus on practical results as well as theory, and for critically analyzing their assumptions and evaluating their research claims.
