Dr. Bertrand Meyer recipient of 2009 Harlan D. Mills Award

For practical and fundamental contributions to object-oriented software engineering, software reuse, and the integration of formal methods into the above. See award page for more details.