CC BY
11
Шалыто Анатолий Абрамович
БЕРТРАН МЕЙЕР -ПОЧЕТНЫЙ ДОКТОР СПБГУ ИТМО
Воспитание молодежи невозможно без знакомства с людьми, с которых можно брать пример.
28 июня 2005 года Ученый совет СПбГУ ИТМО http://is.ifmo.ru/belletristic/ wirth poch.pdf избрал почетным доктором университета легендарного специалиста по информатике Никлауса Вирта, многие годы работавшего в ETN (Eidgenoessishe Technishe Hochshule) - Высшей Политехнической школе в Цюрихе, в которой учились и работали (некоторые работают и сейчас) около 30 Нобелевских лауреатов. Известно, что в этом Университете учились такие гиганты науки, как А. Эйнштейн и Дж. фон Нейман.
13 сентября 2005 года на торжественном вручении Н. Вирту мантии и диплома почетного доктора (http://is.ifmo.ru) я отметил, что в ETH для профессоров компьютерных наук знание русского языка, видимо, необходимо, так как возглавивший кафедру после Н. Вирта, изучавшего русский язык, профессор Бертран Мей-ер (Bertrand Meyer) также знает русский язык, причем практически в совершенстве. Несмотря на то, что профессор Б. Мейер потом неоднократно отмечал, что применять словосочетание «в совершенстве» в его случае несправедливо, я остаюсь при своем мнении.
Мы познакомились с Б. Мейером под Санкт-Петербургом, в Зеленогорске, в 2004 году http://is.ifmo.ru/misc/meyer/,
когда он был приглашенным докладчиком на конференции «Microsoft Research in St. Petersburg». Первое русское словосочетание, которое он сначала сказал, а потом написал по-русски было «на авось». Это относилось к традиционному написанию программ, которому он противопоставлял предложенный им метод написания программ по контракту.
Потом на русском языке вышла его книга, ставшая уже классикой. После этого он еще раз приезжал в Россию на конференцию по образованию и выступал с очень интересным докладом. Потом он мне и В.Г. Парфенову прислал труды по программной инженерии (software engineering), которой мы тоже активно занимаемся.
28 марта 2006 года я предложил Ученому совету СПбГУ ИТМО избрать Бертрана Мейера почетным доктором университета и был единогласно поддержан.
Визит Б. Мейера с супругой в СПбГУ ИТМО состоялся 2 июня 2006 года http :// is.ifmo.ru/misc/ meetmeyer.pdf. Сначала они встретились с ректором В.Н. Васильевым, который рассказал гостям об университете и успехах студентов и выпускников в различных чемпионатах по программированию. Профессор Мейер на русском языке поблагодарил руководителя университета за оказанную честь и сказал, что об успехах ИТМО на чемпионатах по программированию наслышан.
Для того, чтобы не складывалось впечатление, что университет имеет успехи только в области олимпиадного программирования, по предварительному согласованию с гостем, был проведен более чем двухчасовой семинар «Работы по программной инженерии, проводимые на кафедре «Технологии программирования» СПбГУ ИТМО» http://is.ifmo.ru/seminar/ meverprog.pdf. При этом было сделано 12 докладов, большинство из которых были посвящены автоматному программированию - направлению в программировании, предложенному и развиваемому на указанной кафедре ИТМО. Доклады по этой тематике вызвали неподдельный интерес профессора Мейера.
После завершения семинара мы дали гостям полчаса передохнуть, а после этого состоялось торжественное вручение Бертрану Мейеру мантии и диплома почетного доктора, которое проходило в присутствии большого числа студентов-программистов, обучающихся не только в нашем университете.
В начале встречи слово было предоставлено мне, для того чтобы познакомить присутствующих с биографией Бертрана Мейера.
Он родился 21.11.1950 г, а в 1974 г. закончил Политехническую школу (Ecole Polytechnic) в Париже и стал инженером.
В этом же году получил степень магистра по Computer Science в Стэнфордском университете. Степень доктора наук получил в 1985 г. в университете Анри Пуанкаре (Нанси).
С 1974 по 1983 гг. работал инженером-исследователем. Затем возглавил отдел программных разработок во Французской Национальной электрической компании.
В 1978 г. в соавторстве вышла первая книга Б. Мейера «Методы программирования», которая была переведена в 1982 г. на русский язык. Она вышла под редакцией и с предисловием Андрея Петровича Ершова.
С 1983 по 1986 гг. - приглашенный профессор в университете Калифорнии (Санта Барбара).
В 1985 г. Б. Мейер опубликовал отчет по языку Eiffel (Eiffel: A Language for Software Engineering). Этот язык наиболее полно отразил концепции объектно-ориентированного программирования.
В этом же году он основал компанию ISE (Interactive Software Engineering), переименованную позже в Eiffel Software. До 2001 г. Б. Мейер являлся ее президентом, а с 2001 г. стал ее научным руководителем. Под руководством Бертрана Мейера сотрудниками компании разработаны компиляторы языка Eiffel и объектно-ориентированная среда разработки программных проектов, доступная практически на всех платформах (www.eiffel.com).
Язык Eiffel продолжает непрерывно развиваться. В 2005 г. принят и опубликован стандарт этого языка «ECMA standard: Eiffel Analysis, Design and Programming Language», редактором которого являлся Б. Мейер. Стандарт утвержден как Международный Стандарт (International Standard 367 by ECMA International).
В 1988 г. Б. Мейер опубликовал книгу «Object-Oriented Software Construction», переведенную на немецкий, французский, итальянский, японский, китайский и румынский языки. В книге подробно описываются основы создания надежных программных продуктов с использованием объектной технологии. В книге излагаются также основы проектирования по контракту. Второе издание этой книги появилось в 1997 г. Книга получила почетную премию Jolt в 1998 г. Перевод второго издания появился на испанском, французском и сербском языках. Готовится его перевод на японский и китайский языки. На русском языке перевод второго издания под названием «Объектно-ориентированное конструирование программных систем» вышел в 2005 г. под редакцией Владимира Биллига (он помог также составить биографию Б. Мейера, за что я ему очень признателен) объединенными усилиями издательств Русская Редакция и Интернет Университет.
Бертран Мейер - почетный доктор СПбГУ ИТМО
В 2003 г. Б. Мейер стал преемником Никлауса Вирта, сменив его на посту заведующего знаменитой кафедры Software Engineering в швейцарском ETH. Эту должность он занимает и в настоящее время, возглавляя одновременно и факультет Computer Science в ETH.
Бертран Мейер является одним из ведущих ученых в области инженерии программного обеспечения. Он автор девяти книг. Им опубликовано более 250 научных работ, охватывающих широкий спектр направлений, все из которых трудно перечислить. Вот лишь некоторые из них: методы построения надежных, повторно используемых компонентов и программных продуктов, параллельное, распределенное и Интернет-программирование, технологии баз данных, формальные методы и доказательство корректности программ.
В последние 25 лет на большинстве известных международных конференциях, посвященных проблемам инженерии программ (ICSE, OOPSLA, ECOOP, APSEC, TOOLS, ASWEC, ESEC), Б. Мейер выступал в роли приглашенного докладчика. В течение многих лет он являлся организатором одной из наиболее известных конференций по объектному программированию - конференции TOOLS (Technology of Object-Oriented Languages and Systems).
Он издавал журнал JOT (Journal of Object Technology). Бертран Мейер вел колонки в таких журналах как IEEE Computer (1996-2000 гг.), Journal of Object-Oriented Programming (1995-2001 гг.), Software Development (1999-2001 гг.).
В сферу его научных интересов входят и проблемы образования в областях Computer Science и Software Engineering. Им разработан оригинальный метод обучения основам программирования, получивший название «обращенный учебный план», подтвержденный опытом работы со студентами ETH.
За заслуги перед программистским сообществом профессор Б. Мейер удостоен высокой награды, и в 2005 г. стал первым лауреатом премии Дала-Нигарда, учрежден-
ной в честь создателей первого объектного языка программирования Simula.
Профессор Б. Мейер имеет давние дружественные связи с российским программистским сообществом. Начинающим ученым он был приглашен А.П. Ершовым на стажировку в новосибирский Академгородок. Эти связи укрепились в последние годы. Бертран Мейер в качестве приглашенного докладчика выступал:
- в 2003 г. в Новосибирске на пятой международной конференции, посвященной памяти А.П. Ершова «Perspectives of System Informatics»,
- в 2004 г. в Зеленогорске (Санкт Петербург) на международной конференции, организованной Microsoft Research;
- в 2005 г. в Рыбинске (Ярославль) на конференции «Преподавание информационных технологий в России»;
- 1 июня 2006 г. «с нашей подачи» он выступал под Москвой на конференции по оффшорному программированию, организованной ассоциацией Руссофт.
После знакомства с Бертраном Мейе-ром и его биографией наступил торжественный момент, зафиксированный на фотографии (см. 2 сторону обложки).
После этого профессор Мейер выступил с часовой лекцией, в которой изложил свои взгляды на создание надежных программ и рассказал, что такое «программирование по контракту».
Все это время в зале звучала живая русская речь, что вызвало большое удивление и радость у слушателей. Доклад завершился овацией.
После этого профессор Мейер ответил на вопросы присутствующих, а затем он с супругой и участниками семинара, который проходил до его выступления, в неформальной обстановке провели еще около двух незабываемых часов, обсуждая проблемы компьютерного образования и науки.
Примерно через неделю профессор В.Н. Васильев получил от Б. Мейера письмо, в котором он благодарил за оказанную честь и теплоту приема http://is.ifmo.ru/
е^ШЬ/шеуегЪ^/. «Этот день будет для меня и моей жены прекрасной памятью на всю жизнь», а в письме ко мне - высказал предложение о дальнейшем сотрудничестве. В заключение этого письма Бертран Мейер пишет: «Я был сильно удив-
лен качеством выступлений ваших студентов и их командным духом».
Эта встреча останется незабываемой и для молодых людей, которые первый раз в жизни общались с классиком. Как говорится - «надо чаще встречаться».
© Наши авторы. 2006 Our authors, 2006.
Шалы1то Анатолий Абрамович, доктор технических наук, профессор, заведующий кафедрой «Технологии программирования» СПбГУ ИТМО.
