Image
Photo of Bertrand Meyer

Dr. Bertrand Meyer

Adjunct Professor of Computer Science
School of Computer Science & Engineering
Email Address
bmeyer@constructor.university
Selected Publications

Object-oriented software construction

B Meyer

Prentice Hall -- available for free use at https://bertrandmeyer.com/OOSC2

Applying "Design by Contract"

B Meyer

Computer 25 (10), 40-51

Eiffel: the language

B Meyer

Prentice-Hall

Reusability: The case for object-oriented design

B Meyer

IEEE software 4 (2), 50

On formalism in specifications

B Meyer

IEEE Software 2 (1), 6-26

Design by Contract: The lessons of Ariane

JM Jézéquel, B Meyer

Computer 30 (1), 129-130

Agile! The Good, the Hype and the Ugly

B Meyer

The good, the Hype and the Ugly. Kappaleet, 275+xviii

Automated fixing of programs with contracts

Y Wei, Y Pei, CA Furia, LS Silva, S Buchholz, B Meyer, A Zeller

Proceedings of the 19th international symposium on Software testing and …

Reusable software: the Base object-oriented component libraries

B Meyer

Prentice-Hall, Inc.

Introduction to the Theory of Programming Languages

B Meyer

Available for free use at https://bertrandmeyer.com/ITPL

Specification Language.

JR Abrial, SA Schuman, B Meyer

On the Construction of Programs, 343-410

ARTOO: adaptive random testing for object-oriented software

I Ciupa, A Leitner, M Oriol, B Meyer

Proceedings of the 30th international conference on Software engineering, 71-80

Systematic concurrent object-oriented programming

B Meyer

Communications of the ACM 36 (9), 56-80

The grand challenge of trusted components

B Meyer

25th International Conference on Software Engineering, 2003. Proceedings …

Genericity versus inheritance

B Meyer

ACM Sigplan Notices 21 (11), 391-405

Objektorientierte Softwareentwicklung

B Meyer, W Simonsmeier

Hanser

Lessons from the design of the Eiffel libraries

B Meyer

Communications of the ACM 33 (9), 68-88

Eiffel: A language and environment for software engineering

B Meyer

Journal of Systems and Software 8 (3), 199-246

Generating fixes from object behavior anomalies

V Dallmeier, A Zeller, B Meyer

2009 IEEE/ACM International Conference on Automated Software Engineering …

Construcción de software orientado a objetos

B Meyer

Prentice-Hall

 

University Education

Stanford University

M.Sc., Computer Science

1973 - 1974

Universite Henri Poincare, Nancy 1

Dr. Sc, Computer Science

1985

Ecole Polytechnique

Engineering, Mathematics, Physics

1968 - 1972

Promotion 1969 (graduated in 1972)

Telecom Paris

Engineer, Computer Science

1973

Pierre and Marie Curie University

DEA, Computer Science

1971 - 1972

Universite Paris-Sorbonne

MA, Russian linguistics & literature

1971 - 1974

Lycee Jacques Decour

Baccalaureat

1960 - 1967

Work Experience

Founder and CTO, Software expert for legal cases at Eiffel Software

Chairman of the Computer Science department, Professor of Software Engineering at ETH Zurich

Scientific Adviser at Propulsion Academy (now SIT Academy) Zurich

Editor, Ecma/ISO Eiffel international language standard at Ecma International

Member at Academie des technologies

Adjunct Professor at Innopolis University

Professor and Head of Software Engineering Laboratory at ITMO (Saint Petersburg State Technical University)

President and Member of the Board at Informatics Europe

Conference series chair at TOOLS conferences

TC2 chair and Switzerland TC2 representative at IFIP TC2

Founder and publisher at Journal of Object Technology

Visiting professor at Ecole Polytechnique

Adjunct professor at Monash University

Steering Committee Chair at ESEC (European Software Engineering Conference)

Visiting Associate Professor at University of California, Santa Barbara