Bertrand Meyer

Bertrand Meyer
Fuchsias · CC BY-SA 4.0 · source
Name	Bertrand Meyer
Birth date	1950
Birth place	Lyon, France
Alma mater	École Polytechnique, École nationale supérieure des mines de Paris, University of Nancy
Occupation	Computer scientist, software engineer, author, professor
Known for	Eiffel (programming language), Design by Contract

Bertrand Meyer Bertrand Meyer is a French computer scientist, software engineer, and author noted for creating the Eiffel (programming language), formulating Design by Contract, and promoting rigorous software construction principles. He has held academic posts at institutions such as ETH Zurich, University of Nice Sophia Antipolis, and industrial roles at companies including Ilog and Nokia. Meyer's work influenced languages, tools, and methodologies across object-oriented programming, formal methods, and software engineering communities.

Early life and education

Meyer was born in Lyon and pursued studies at École Polytechnique and École nationale supérieure des mines de Paris, with doctoral work at the University of Nancy. During his education he encountered influences from figures and institutions such as Niklaus Wirth, Tony Hoare, Edsger Dijkstra, C.A.R. Hoare, and research groups at INRIA and CNRS. His formative training involved exposure to paradigms and languages including Pascal (programming language), ALGOL, Simula, and early object-oriented programming research at places like Norsk Regnesentral and Bell Labs.

Academic and professional career

Meyer served as a professor at the University of Nice Sophia Antipolis and later at ETH Zurich and held visiting positions at Brown University, McGill University, and University of California, Berkeley. He founded and led research groups interacting with organizations such as Microsoft Research, IBM Research, Sun Microsystems, and Siemens. In industry he cofounded Ilog, contributed to projects at Nokia, and collaborated with standardization bodies including ISO and IEEE Computer Society. Meyer supervised doctoral students who later joined academia and industry at Google, Apple Inc., Amazon (company), and research labs like INRIA Saclay and Fraunhofer Society.

Eiffel and software engineering contributions

Meyer designed Eiffel (programming language) to embody principles from object-oriented programming pioneers such as Ole-Johan Dahl and Kristen Nygaard as well as ideas from Barbara Liskov and Alan Kay. He introduced Design by Contract to specify software component behavior with preconditions, postconditions, and invariants, drawing on specifications related to Z notation and Hoare logic. Meyer's work influenced language features in Java (programming language), C#, Ada (programming language), and research languages like Spec# and D (programming language). He advocated for assertions, static analysis tools from groups at NASA Ames Research Center and Carnegie Mellon University, and runtime verification methods developed at University of Pennsylvania and ETH Zurich. His ideas intersected with verification frameworks such as SPARK (Ada) and theorem provers like Coq, Isabelle (proof assistant), and Z3 (solver). Meyer promoted software quality through practices aligned with Extreme Programming, Agile software development, and formal approaches practiced at Oxford University and Imperial College London.

Publications and books

Meyer authored foundational texts including "Object-Oriented Software Construction", which became influential alongside works by Grady Booch, James Gosling, Bjarne Stroustrup, Peter Naur, and Donald Knuth. He contributed articles to journals such as Communications of the ACM, IEEE Transactions on Software Engineering, and Journal of the ACM, and presented at conferences like ACM SIGPLAN Conference on Programming Language Design and Implementation, International Conference on Software Engineering, and European Conference on Object-Oriented Programming. His publications engaged with contemporaries such as Michael Jackson (software engineer), Mikko Hyppönen, Jan Vitek, David Parnas, and Mary Shaw. Meyer edited proceedings and collections with editors from Springer Verlag, MIT Press, and Cambridge University Press and wrote columns and essays influencing outlets like IEEE Software and Dr. Dobb's Journal.

Awards and recognition

Meyer received honors including fellowships and awards from institutions such as ACM, IEEE, CNRS, and Swiss National Science Foundation. His contributions were recognized by prizes associated with organizations like Association for Computing Machinery and national honors tied to French Academy of Sciences and regional bodies in Provence-Alpes-Côte d'Azur. He was invited to keynote events at International Conference on Software Engineering, OOPSLA, ECOOP, and served on advisory boards for companies and universities including ETH Zurich and École Polytechnique. Meyer's influence is cited in curricula at Massachusetts Institute of Technology, Stanford University, Princeton University, and featured in retrospectives at Computer History Museum and celebratory sessions by ACM SIGSOFT.

Category:French computer scientists Category:Living people