LOS ALAMITOS, Calif., 7 April, 2010 – ETH Zurich software engineering professor Bertrand Meyer, developer of the Design by Contract method of producing reliable software systems, has been named the winner of the 2010 Harlan D. Mills award.
The Mills 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.
Meyer’s citation reads: “for practical and fundamental contributions to object-oriented software engineering, software reuse, and the integration of formal methods into the above.”
Meyer has been active in pioneering modern ideas of software engineering and object technology on both the industrial and academic scenes. As co-founder of Eiffel Software (based in Santa Barbara, California), he led the development of tools and libraries totaling several millions lines of code, taught industrial seminars that introduced object technology to thousands of attendees, and provided consulting to companies and government agencies.
As professor of software engineering at ETH Zurich (the Swiss Federal Institute of Technology) since 2001, he introduced a new approach to the teaching of programming and is directing research on topics such as automatic testing, program proofs and concurrent programming.
Dr. Meyer is known in particular for his introduction of Design by Contract, a technology for producing reliable software systems. Originally crafted for the Eiffel language, the concept of Design by Contract has influenced many other designs, in particular extensions to Java, C#, UML and the .NET framework.
He has published numerous papers and 11 books including "Object-Oriented Software Construction", one of the all-time best-sellers in computer science, Jolt Award 1998, as well as "Introduction to the Theory of Programming Languages", "Eiffel: The Language" and "Reusable Software".
Most recently, he published "Touch of Class: Learning to Program Well with Objects and Contracts" (Springer, 2009), an introduction to programming based on the newest concepts of software engineering. He is currently the president of Informatics Europe, the association of European computer science and IT departments.
He is the recipient of the ACM Software System award and the Dahl-Nygaard award for object technology, an ACM fellow, an honorary doctor of the State University (ITMO) of Saint Petersburg, and a member of the French Academy of Technologies.
A list of past recipients may be found at http://www.computer.org/portal/web/awards/harlan.
The award consists of a $3,000 honorarium, memento, and the invitation to give a talk during the week of the annual International Conference on Software Engineering (ICSE), co-sponsored by IEEE Computer Society Technical Council on Software Engineering (TCSE). This year the conference will be held in CapeTown, South Africa, 2-8 May 2010.