Image
Bertrand Meyer photo

Prof. Dr. Bertrand Meyer

Adjunct Professor of Computer Science
School of Computer Science & Engineering
Email Address
bertrand.meyer@constructor.org
About

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.

Research Interests

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.
University Education
  • Stanford University
    MS, Computer Science
    1973 - 1974

  • Université Henri Poincaré, Nancy 1
    Dr. Sc., Computer Science
    1985

  • École Polytechnique
    Engineer, Mathematics, physics etc.
    1969 - 1972

  • Télécom Paris
    Engineer, Computer science
    1973 - 1973

  • Pierre and Marie Curie University
    DEA, Computer Science
    1971 - 1972

  • Université Paris-Sorbonne
    MA, Russian linguistics & literature
    1971 - 1974

  • Lycée Jacques Decour
    Baccalauréat
    1960 - 1967

Selected Publications

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.