2026 Bertrand Meyer: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	60	3152	3060	71	71	418	37980

Research.com Recognitions

2025 - Research.com Computer Science in Switzerland Leader Award
2022 - Research.com Computer Science in Switzerland Leader Award
2011 - Member of Academia Europaea
2008 - ACM Fellow For contributions to software engineering and programming languages.
2006 - ACM Software System Award For designing and developing the Eiffel programming language, method and environment, embodying the Design by Contract approach to software development and other features that facilitate the construction of reliable, extendible and efficient software.

Overview

Bertrand Meyer is affiliated with the Schaffhausen Institute of Technology in Switzerland and is active in fields related to computer science, particularly software engineering and related disciplines. Their work spans several subfields of study, including software, information systems, artificial intelligence, computer networks and communications, and computational theory and mathematics.

Their research topics cover various aspects of software engineering research, software testing and debugging techniques, logic, programming, and type systems, advanced software engineering methodologies, software reliability and analysis research, formal methods in verification, and service-oriented architecture and web services.

Frequent publication venues for their work include:

arXiv (Cornell University)
Formal Aspects of Computing
SN Computer Science
ACM Computing Surveys
Software Testing Verification and Reliability

Selected recent papers involving or authored by Bertrand Meyer are:

"The Concept of Class Invariant in Object-oriented Programming," 2024, Formal Aspects of Computing
"The Role of Formalism in System Requirements," 2021, ACM Computing Surveys

Other recent papers related to Meyer's frequent collaborators include:

"A failed proof can yield a useful test," 2023, Software Testing Verification and Reliability
"Seeding Contradiction: a Fast Method for Generating Full-Coverage Test Suites," 2024, SN Computer Science
"Special Issue on New Paradigms of Software Production and Deployment," 2022, SN Computer Science

Frequent co-authors in their research include:

Jean-Michel Bruel
Sophie Ebersold
Manuel Oriol
Li Huang
Alexandr Naumchev

Bertrand Meyer has also contributed to published books in collaboration with Springer Science+Business Media, including:

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment (2020)
Frontiers in Software Engineering Education (2023)

Recognition for their contributions includes the following awards:

Member of Academia Europaea (2011)
ACM Fellow (2008), for contributions to software engineering and programming languages
ACM Software System Award (2006), for designing and developing the Eiffel programming language, method, and environment, incorporating the Design by Contract approach to software development

Best Publications

Object-Oriented Software Construction

Bertrand Meyer

18584
Citations
Applying 'design by contract'

B. Meyer

3581
Citations
Eiffel: The Language

Bertrand Meyer

2597
Citations
Object-Oriented Software Construction, 2nd Edition

Bertrand Meyer

1833
Citations
Reusability: the case for object-oriented design

B. Meyer

574
Citations
Object-oriented software construction (2nd ed.)

Bertrand Meyer

447
Citations
On Formalism in Specifications

B. Meyer

413
Citations
Design by contract: the lessons of Ariane

J.-M. Jazequel;B. Meyer

407
Citations
Automated fixing of programs with contracts

Yi Wei;Yu Pei;Carlo A. Furia;Lucas S. Silva

330
Citations
Reusable software: the Base object-oriented component libraries

Bertrand Meyer

312
Citations
Introduction to the theory of programming languages

Bertrand Meyer

290
Citations
Systematic concurrent object-oriented programming

Bertrand Meyer

286
Citations
The grand challenge of trusted components

Bertrand Meyer

268
Citations
ARTOO: adaptive random testing for object-oriented software

Ilinca Ciupa;Andreas Leitner;Manuel Oriol;Bertrand Meyer

267
Citations
Genericity versus inheritance

Bertrand Meyer

248
Citations
Agile!

Unknown

213
Citations
Lessons from the design of the Eiffel libraries

Bertrand Meyer

209
Citations
Eiffel: a language and environment for software engineering

Bertrand Meyer

202
Citations
Generating Fixes from Object Behavior Anomalies

Valentin Dallmeier;Andreas Zeller;Bertrand Meyer

187
Citations
Automated Fixing of Programs with Contracts

Yu Pei;Carlo A. Furia;Martin Nordio;Yi Wei

167
Citations
The unspoken revolution in software engineering

B. Meyer

147
Citations

Frequent Co-Authors

Alexander Pretschner Technical University of Munich

Elisabetta Di Nitto Polytechnic University of Milan

Cristiano Calcagno Imperial College London

Peter Müller ETH Zurich

Andreas Zeller Saarland University

Carlo Ghezzi Polytechnic University of Milan

Yuri Gurevich University of Michigan–Ann Arbor

Patrick Eugster Universita della Svizzera Italiana

Mark Guzdial University of Michigan–Ann Arbor

Jan van Leeuwen Utrecht University

External Links

Wikipedia of Bertrand Meyer Personal website of Bertrand Meyer Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring a degree in Computer Science opens doors to a variety of related fields and flexible online education options. Many students interested in tech also consider the cheapest online mechanical engineering degree programs for a strong foundation in problem-solving and applied sciences.

For those with a passion for theory and research, enrolling in an online physics degree program can complement computer science studies and lead to careers in data analysis, simulation, or academia.

The growing field of data analysis and artificial intelligence makes a data science degree one of the most popular pathways for computer science graduates. These programs focus on statistics, machine learning, and big data—skills in high demand across industries.

Additionally, students interested in hardware or embedded systems can benefit from learning about the top online electrical engineering schools in the USA. This pathway helps pave the way for careers in electronics, telecommunications, or robotics.