Мейер, Бертран

Материал из Википедии — свободной энциклопедии
В Википедии есть статьи о других людях с фамилией Мейер.
Бертран Мейер
фр. Bertrand Meyer
Дата рождения 21 ноября 1950(1950-11-21)[1] (73 года)
Место рождения
Страна
Род деятельности специалист в области информатики, инженер
Научная сфера информатика
Место работы Университет Иннополис
Альма-матер
Ученики Jean-Marc Nerson[вд][2], Andreas Leitner[вд][2], Michela Pedroni[вд][2], Jason Wei[вд][2], Marco Piccioni[вд][2], Marco Trudel[вд][2], Benjamin Morandi[вд][2] и Nadia Polikarpova[вд][2]
Награды и премии
Сайт bertrandmeyer.com
Логотип Викисклада Медиафайлы на Викискладе
Бертран Мейер

Бертран Мейер (род.

Эйфель
.

Биография

В 1974 году окончил

университете Анри Пуанкаре
(Нанси).

С 1974 по 1983 год работал инженером-исследователем. Затем он возглавил отдел программных разработок в Électricité de France.

В 1978 году вышла (в соавторстве) первая книга Б. Мейера «Методы программирования», переведенная в 1982 г. на

Андрея Петровича Ершова
.

С 1983 по 1986 гг. — приглашенный профессор в университете Калифорнии (Санта-Барбара).

С 2011 года Б. Мейер является заведующим кафедры «Программная инженерия и

Санкт-Петербургском государственном университете информационных технологий, механики и оптики[3]
.

С 2014 года преподаватель в университете Иннополис (Республика Татарстан, Россия) заведующий Лабораторией программной инженерии и верификации программ[4][5].

Язык программирования
Эйфель

В 1985 году он опубликовал отчет по языку Eiffel (Eiffel: A Language for Software Engineering). Этот язык наиболее полно отразил концепции объектно-ориентированного программирования.[источник не указан 1293 дня]

В этом же году Б. Мейер основал компанию ISE (Interactive Software Engineering), переименованную позже в

среда разработки программных проектов, доступная практически на всех платформах[6]
. Компания занимается консалтинговой, образовательной деятельностью и поддержкой программных разработок на языке Eiffel. Основное применение этого языка связано с приложениями большого размера в критически важных по надежности областях в таких как, например, финансовая, военная, аэрокосмическая.

Язык Eiffel продолжает непрерывно развиваться. В 2005 г. принят и опубликован стандарт этого языка «ECMA standard: Eiffel Analysis, Design and Programming Language», редактором которого являлся Б. Мейер. Стандарт утвержден как Международный Стандарт (International Standard 367 by ECMA International).

Публикации

В

1988 г. Б. Мейер опубликовал книгу «Object-Oriented Software Construction», переведенную на немецкий, французский, итальянский, японский, китайский и румынский языки, в которой подробно описывались основы создания надежных программных продуктов с использованием объектной технологии. В книге излагались также основы «Проектирования по контракту»
 — метод, предложенный Б. Мейером, который был развит в ряде его статей.

Второе издание этой книги появилось в

1998 г. Перевод второго издания появился на испанском, французском и сербском языках. Готовится его перевод на японский и китайский
языки.

На русском языке перевод второго издания под названием «Объектно-ориентированное конструирование программных систем» вышел в 2005 году под редакцией Владимира Биллига объединёнными усилиями издательств Русская Редакция и Интернет Университет.

В 2003 г. Б. Мейер стал преемником Никлауса Вирта, сменив его на посту заведующего знаменитой кафедры Software Engineering в швейцарском ETH (Eidgenoessische Technische Hochschule) — Высшей Политехнической школе в Цюрихе. Эту должность он занимает и в настоящее время.

Бертран Мейер является одним из ведущих ученых в области

параллельное, распределённое и Интернет-программирование
, технологии баз данных, формальные методы и доказательство корректности программ.

В последние 25 лет на большинстве известных международных конференциях, посвященных проблемам инженерии программ (ICSE, OOPSLA, ECOOP, APSEC, TOOLS, ASWEC, ESEC) Б. Мейер выступал в роли приглашенного докладчика. В течение многих лет он являлся организатором одной из наиболее известных конференций по объектному программированию — конференции TOOLS (Technology of Object-Oriented Languages and Systems).

Он являлся издателем журнала

2001
гг.). В сферу интересов его научной деятельности входят и проблемы образования в областях Computer Science и Software Engineering. Им разработан оригинальный метод обучения основам программирования, получивший название «обращенный учебный план», подтвержденный опытом работы со студентами ETH.

Награды

За заслуги перед программистским сообществом в

Simula
.

28 марта 2006 года профессор Б. Мейер Ученым советом

Санкт-Петербургского государственного университета информационных технологий, механики и оптики избран Почетным доктором университета. Торжественная церемония, посвященная этому событию, состоялась 2 июня 2006 года[7]
.

Профессор Б. Мейер владеет русским языком и имеет давние дружественные связи с российским программистским сообществом. Начинающим ученым он был приглашен А. П. Ершовым на стажировку в

новосибирский Академгородок
. Эти связи укрепились в последние годы. Бертран Мейер в качестве приглашенного докладчика выступал:

Примечания

  1. ↑ Who's Who in France (фр.) — Paris: 1953. — ISSN 0083-9531; 2275-0908
  2. ↑ 1 2 3 4 5 6 7 8 Mathematics Genealogy Project (англ.) — 1997.
  3. ↑ Виртуальный музей СПбГУ ИТМО. Мейер Бертран. Дата обращения: 9 июня 2011. Архивировано 1 июля 2015 года.
  4. ↑ Преподавательский состав. old.innopolis.university. Дата обращения: 14 августа 2020. Архивировано 18 апреля 2021 года.
  5. ↑ Лаборатория программной инженерии и верификации программ. old.innopolis.university. Дата обращения: 14 августа 2020. Архивировано 14 апреля 2021 года.
  6. ↑ Eiffel Software — The Home of EiffelStudio. Дата обращения: 14 июля 2022. Архивировано 29 июня 2022 года.
  7. ↑ Бертран Мейер. Дата обращения: 29 мая 2009. Архивировано 8 декабря 2006 года.

Ссылки

Источник — https://ru.wikipedia.org/w/index.php?title=Мейер,_Бертран&oldid=138161549