Bertrand Meyer Recipient of 2010 Mills Award
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.
About the IEEE Computer Society
With nearly 85,000 members, the IEEE Computer Society is the world’s leading organization of computing professionals. Founded in 1946, and the largest of the 39 societies of the Institute of Electrical and Electronics Engineers (IEEE), the Computer Society is dedicated to advancing the theory and application of computer and information-processing technology, and is known globally for its computing standards activities.
The Computer Society serves the information and career-development needs of today’s computing researchers and practitioners with technical journals, magazines, conferences, books, conference publications, and online courses. Its Certified Software Development Professional (CSDP) program for mid-career professionals and Certified Software Development Associate (CSDA) credential for recent college graduates confirm the skill and knowledge of those working in the field. The CS Digital Library (CSDL) is an excellent research tool, containing more than 250,000 articles from 1,600 conference proceedings and 26 CS periodicals going back to 1988.