Бертран Мейер ( / ˈ m aɪ . ər / ; фр. [mɛjɛʁ] ; родился 21 ноября 1950) — французский учёный, автор и консультант в области компьютерных языков. Он создал язык программирования Eiffel и концепцию проектирования по контракту .
Мейер получил степень магистра в области инженерии в Политехнической школе [2] в Париже, вторую степень магистра в Стэнфордском университете и степень доктора философии в Университете Нанси . Он имел техническую и управленческую карьеру в течение девяти лет в Électricité de France и в течение трех лет был членом факультета Калифорнийского университета в Санта-Барбаре .
С 2001 по 2016 год он был профессором программной инженерии в ETH Zürich , Швейцарском федеральном технологическом институте, где он проводил исследования по созданию надежных компонентов (многоразовых программных элементов) с гарантированным уровнем качества. Он был заведующим кафедрой компьютерных наук ETH с 2004 по 2006 год и в течение 13 лет (2003–2015) преподавал курс «Введение в программирование», который посещали все студенты компьютерных наук ETH, в результате чего появился широко распространенный учебник по программированию Touch of Class (Springer).
Он остается почетным профессором программной инженерии в Швейцарской высшей технической школе Цюриха и в настоящее время является профессором программной инженерии и проректором Технологического института Конструктора (ранее Технологического института Шаффхаузена (SIT)), нового исследовательского университета в Шаффхаузене , Швейцария.
Он занимал должности приглашенного специалиста в Университете Тулузы (кафедра передового опыта, 2015–16), Миланском политехническом университете , Университете Иннополис , Университете Монаш и Технологическом университете Сиднея . Он также активно работает в качестве консультанта (проектирование объектно-ориентированных систем, обзоры архитектуры, оценка технологий), тренера по объектным технологиям и другим темам программного обеспечения, а также докладчика на конференциях. В течение многих лет Мейер активно занимался вопросами политики исследований и образования и был основателем и президентом (2006–2011) Informatics Europe , ассоциации европейских факультетов компьютерных наук.
Мейер стремится к идеалу простых, элегантных и удобных для пользователя компьютерных языков и является одним из самых ранних и самых ярых сторонников объектно-ориентированного программирования (ООП). Его книга Object-Oriented Software Construction , переведенная на 15 языков, является одной из самых ранних и наиболее полных работ, представляющих доводы в пользу ООП. [3]
Другие написанные им книги включают Eiffel: The Language (описание языка Eiffel ), Object Success (обсуждение объектной технологии для менеджеров), Reusable Software (обсуждение проблем повторного использования и решений), Introduction to the Theory of Programming Languages , Touch of Class (введение в программирование и программную инженерию) и Agile! The Good, the Hype and the Ugly (учебник и критический анализ гибких методов). Он является автором многочисленных статей и редактором более 60 конференционных материалов, многие из которых входят в серию Springer LNCS (Lecture Notes in Computer Science).
Он давно интересуется методами спецификации и требований и в 2022 году опубликовал трактат и учебник « Справочник по требованиям и бизнес-анализу» (Springer).
В 2024 году он опубликовал в качестве редактора том «Французская школа программирования» (Springer), содержащий главы 13 известных французских или французских ученых-компьютерщиков, включая Патрика Кусо , Тьерри Коканда , Жерара Берри и самого Мейера, описывая их вклад ( абстрактная интерпретация , Кок , Эстерель , Эйфель и т. д.), в котором Мейер видит, помимо большого разнообразия подходов, общую тягу к элегантности и простоте.
Он является первоначальным разработчиком метода и языка Eiffel и продолжает участвовать в его развитии, а также является создателем метода разработки Design by Contract . [ необходима ссылка ]
Его опыт работы с объектной технологией посредством языка Simula , а также ранние работы над абстрактными типами данных и формальной спецификацией (включая нотацию Z ) обеспечили некоторую основу для разработки Eiffel.
Мейер известен, помимо прочего, следующими вкладами:
Мейер является членом Academia Europaea и Французской академии технологий , а также членом ACM . Он получил почетные докторские степени от Университета ИТМО в Санкт-Петербурге, Россия (2004) (возвращен в 2022 году) и Университета Йорка , Великобритания (2015).
Он стал первым обладателем «старшей награды» — премии AITO Dahl-Nygaard в 2005 году. [4] Эта премия, названная в честь двух основателей объектно-ориентированного программирования, ежегодно присуждается старшему и младшему исследователю, внесшим значительный технический вклад в область ООП. [4]
В 2009 году он стал лауреатом премии Харлана Миллса от IEEE Computer Society «за практический и фундаментальный вклад в объектно-ориентированную разработку программного обеспечения».
Он является стипендиатом IFIP, входящим в первую группу, получившую это отличие в 2019 году, и получил в 2017 году премию ACM SIGSOFT Software Engineering Educator Award. Он был обладателем гранта ERC (European Research Council) Advanced Investigator Grant (2012-2017).
В 2006 году Мейер получил премию ACM Software System Award за «влияние на качество программного обеспечения» в знак признания дизайна Эйфеля. [5]
28 декабря 2005 года анонимный пользователь ложно объявил о смерти Майера в биографии Майера на немецкой Википедии . Об этом обмане сообщили пять дней спустя в Heise News Ticker , и статья была немедленно исправлена. Многие крупные новостные агентства в Германии и Швейцарии подхватили эту историю. Майер продолжил публиковать положительную оценку Википедии, [6] заключив: «Система поддалась одному из своих потенциальных недостатков и быстро исцелилась. Это не влияет на общую картину. Так же, как и обо мне, слухи о крахе Википедии были сильно преувеличены».
