

Prof. Dr. Bertrand Meyer
Bertrand Meyer boasts an illustrious career as a distinguished Professor of Software Engineering (emeritus) at ETH Zurich and Chief Technology Officer of Eiffel Software in Santa Barbara. His extensive publications, including 13 single-author books and over 300 refereed articles, have solidified his reputation as a prolific contributor to the field. Meyer's exceptional contributions have earned him prestigious awards like the ACM Software System Award and IEEE Harlan Mills Software Engineering Prize, further cementing his status as a respected figure in industry and academia.
Bertrand Meyer pursues research in various areas of software engineering, including:
- Requirements engineering, a key discipline, about which we published a milestone Handbook in 2022 (see publication list).
- The role of AI and AI-based assistants (e.g. ChatGPT, GPT 4…) in producing and maintaining high-quality software.
- Software engineering for new computing paradigms, such as quantum computing.
- Concurrent and distributed programming.
- Language design, with the continued development of the Eiffel language and its international (ISO) standard.
- Agile methods, software processes, and tools to support software project management.
- Educational technology, particularly the development of feedback systems.
Stanford University
MS, Computer Science
1973 - 1974Université Henri Poincaré, Nancy 1
Dr. Sc., Computer Science
1985École Polytechnique
Engineer, Mathematics, physics etc.
1969 - 1972Télécom Paris
Engineer, Computer science
1973 - 1973Pierre and Marie Curie University
DEA, Computer Science
1971 - 1972Université Paris-Sorbonne
MA, Russian linguistics & literature
1971 - 1974Lycée Jacques Decour
Baccalauréat
1960 - 1967
Bertrand Meyer, Alisa Arkadova and Alexander Kogtenkov, The Concept of Class Invariant in Object-Oriented Programming, 2023, to appear.
Bertrand Meyer (Editor): The French School of Programming, Springer, 2023, to appear.
Bertrand Meyer: Right and Wrong: Ten Choices in Language Design, to appear in The French School of Programming (see above), 2023.
Li Huang, Sophie Ebersold, Alexander Kogtenkov, Yinling Liu and Bertrand Meyer: Lessons from Formally Verified Deployed Software Systems, submitted for publication, January 2023.
Bertrand Meyer: Handbook of Requirements and Business Analysis, Springer, 2022.
Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Manuel Mazzara, Bertrand Meyer and Alexandr Naumchev: The Role of Formalism in System Requirements, in ACM Computing Surveys, vol. 54, no. 5, pages 1-36, 2022.
Li Huang and Bertrand Meyer : A Failed Proof Can Yield a Useful Test, submitted for publication, 2022.
Li Huang, Bertrand Meyer and Manuel Oriol: Improving Counterexample Quality from Failed Program Verification, in ISWF (International Workshop on Software Faults), part of ISSRE-2022, October 2022.
Li Huang, Bertrand Meyer and others: Test Generation from Failed Proofs, filed as US Patent 17/818,348, 8 August 2022.
Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, Bertrand Meyer and Florian Galinier: Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests, submitted for publication, 2022.
Alfredo Capozucca, Jean-Michel Bruel, Manuel Mazzara and Bertrand Meyer (editors): Special Issue on New Paradigms of Software Production and Deployment, Springer Nature Computer Science, vol. 3, no. 2, 2022.