ПОЧЁТНЫЕ ДОКТОРА СО РАН
21 апреля на годичном Общем собрании Отделения трое известных зарубежных учёных были избраны почётными докторами СО РАН.
Профессор Дана Стюарт Скотт (р. 1932 г.) — известный американский учёный в области математики и информатики. Исследования Д.Скотта связаны с теорией моделей, теорией автоматов, модальной и интуиционистской логиками, конструктивной математикой и связью между логикой и теорией категорий. Философские интересы лежат в области оснований логики, философии математики и семантического анализа естественных языков. Сделал крупный вклад в развитие компьютерных наук, разработав математическую теорию вычислений. Работы в области компьютерных наук направлены на теорию и модели вычислений, включая разработку денотационной семантики языков программирования и математических основ вычислимости.
В настоящее время Д. Скотт является заслуженным хилмановским университетским профессором по программированию, философии и математической логике университета Карнеги Меллон; проживает в Беркли, Калифорния. Главный редактор журнала «Логические методы в программировании» (Logical Methods in Computer Science). Степень бакалавра по математике получена им от университета Калифорнии в Беркли в 1954 г. Научную степень (Ph.D.) за работу «Сходящиеся последовательности полных теорий», подготовленную при научном руководстве проф. А. Чёрча, защитил в Принстоне в 1954 г. Свою научную деятельность (до 1960 г.) он продолжал в университете Чикаго, где (в 1959 г.) совместно со своим коллегой по Принстону М. О. Рабиным подготовил работу «Конечные автоматы и их проблема разрешимости», в которой в теорию автоматов было введено понятие недетерминированных машин. Эти исследования привели к созданию теории сложности вычислений, за что учёные были удостоены премии Тьюринга. В период, связанный с работой в университетах Стэнфода, Амстердама, Принстона (1963–1972), ему удалось сформулировать (одновременно с Р. Соловэем и П. Вопенкой) понятие булево-значной модели. За эти исследования Д.Скотт был удостоен премии Лерой Стил (1972 г.). Совместная работа с Кристофером Стрэчи в 1970-х, которая осуществлялась в Оксфордском университете, заложила основы современного подхода, основанного на математических знаниях, к семантике языков программирования. В частности, Д. Скоттом была введена в рассмотрение теория областей.
В Институте математики
им. С. Л. Соболева СО РАН разрабатывается подход в функциональном анализе на основе булевозначных моделей, основы которых были заложены Д. Скоттом. В рамках теории денотационной семантики, создателями которой являются Ю. Л. Ершов и Д. Скотт, ведутся активные исследования в ИМ СО РАН, выполняется совместный грант РФФИ-ННИО. Д. Скотт — один из создателей языка бесконечных формул. В теории моделей исследования ранга Скотта ведутся совместно исследования сотрудниками ИМ СО РАН с американскими учёными по гранту ННФ США.
Профессор Д. Скотт награждён Золотой медалью ИМ СО РАН за выдающийся вклад в развитие математики, является приглашённым пленарным докладчиком на международной конференции по алгебре и логике, посвящённой 100-летию со дня рождения академика А. И. Мальцева.
Выдвинут на звание Почётного доктора СО РАН Учёным советом Института математики
им. С. Л. Соболева СО РАН, поддержан Объединённым учёным советом по математике и информатике.
Профессор Михаэль Рэш родился 21.10.1964 в г.Грац (Австрия), имеет степень Ph.D. в области технических наук (2001 г.) и звание профессора (2003 г.). М. Рэш — ведущий мировой специалист в области высокопроизводительных вычислений и суперкомпьютеров, автор 190 научных работ, в том числе 23 монографий.
Профессор М. Рэш руководит рядом проектов в области GRID-вычислений, облачных вычислений, визуализации и масштабирования параллельных алгоритмов. Центральное место в его работах занимают вопросы использования математических методов и информационных технологий в решении практических задач.
В 1998–2001 гг. он руководил отделом параллельных вычислений, а с 2002 г. является директором Института высокопроизводительных вычислений при Университете Штутгарта, где под его научным руководством 23 соискателя получили степень Ph.D.
Основные усилия Штутгартского центра высокопроизводительных вычислений сосредоточены в области архитектуры ЭВМ, параллельного программирования, разработки средств визуализации, адаптации программного обеспечения к высокопроизводительным вычислительным устройствам новых архитектур.
М. Рэш является членом Технического совета по вычислениям Microsoft (Technical computing executive advisory council of Microsoft), который выполняет научно-консультационные функции в отношении новых разработок в области суперкомпьютеров и вычислений для научных и промышленных целей, а также членом German Gauss Center of Supercomputing (GCS), который объединяет три национальных суперкомпьютерных центра в Германии.
Профессор М. Рэш — советник Европейской комиссии по программам FP6, FP7, FP8, руководитель более 30 проектов для правительства Германии и ряда промышленных компаний, среди которых Cray, Microsoft, NEC, IBM, CISCO, Hitachi, Intel. Член ассоциаций IEEE (Institute of Electrical and Electronics Engineers), GACM (German Association for Computational Mechanics), ALWS (Austrian Ludwig Wittgenstein Society), член редакционных коллегий журналов «Вычислительные технологии» и «Journal of Grid Computing».
Профессор М. Рэш активно сотрудничает с 11 крупными научными центрами в России, США, Японии, Франции, Германии, на Тайване.
Профессор Рэш — соруководитель серии молодёжных Российско-немецких школ по высокопроизводительным вычислениям. Проведение школ ставит своей целью привлечение научной молодёжи к обсуждению современных технологий параллельных вычислений, изучению новейшего оборудования технологий программирования и освоению навыков, необходимых для эффективного решения практических задач с использованием высокопроизводительных вычислительных систем. Учебная программа включает лекции, подготовленные сотрудниками Штутгартского центра высокопроизводительных вычислений, а также доклады приглашенных российских учёных.
Вместе с ак. Ю. И. Шокиным проф. М. Рэш выступает организатором Российско-немецкой рабочей группы по высокопроизводительным вычислениям.
Выдвинут на звание Почётного доктора СО РАН Учёным советом Института вычислительных технологий СО РАН, поддержан Объединённым учёным советом по нанотехнологиям и информационным технологиям.
Доктор Жан Мария Майларт родился 28 февраля 1955 г. в г.Аалст, Бельгия. Специалист в области численных и экспериментальных исследований аэротермодинамики ракетных и космических аппаратов, автор более 70 научных работ по аэродинамике космических аппаратов и методам измерения на полетных демонстраторах.
С 1978 по 1988 год Жан Майларт работал в фирме Дорнье, где участвовал в создании Европейской трансзвуковой аэродинамической трубы. С 1988 года по 2008 год он работал в техническом центре Европейского космического агентства ESA/ESTEC (руководитель отделения аэротермодинамики, город Нордвайк, Нидерланды). В июне 2008 года Жан Майларт был избран Директором Фон-Кармановского института по механике жидкости (Von Karman Institute for Fluid Dynamics).
За время работы в ESA/ESTEC Жан Майларт приобрел известность в научных кругах многих стран. Он постоянно выступает с докладами на конференциях в США, Франции, Японии и др., проводит совместные научные исследования с ведущими зарубежными учёными. Под его руководством в ESTEC постоянно работают молодые учёные из всех стран — членов ESA.
Особо следует отметить его активное участие в совместных проектах с Россией, в частности, с учеными СО РАН в рамках проектов INTAS и МНТЦ. Сотрудничество Ж. Майларта с ИТПМ началось в середине 90-х годов с первых контактов на зарубежных конференциях. Первый визит Ж. Майларта в Академгородок состоялся в 1998 г. С тех пор научные контакты ИТПМ и ESTEC-Aerothermodynamics Section значительно расширялись. Были выполнены совместные исследования по аэротермодинамике космических капсул. Сам Ж. Майларт приезжал в ИТПМ много раз и неоднократно принимал сотрудников ИТПМ в ESTEC’e. Являясь членом оргкомитета, доктор
Ж. Майларт поддерживал, поддерживает и сам активно участвует в традиционной Международной конференции по методам аэрофизических исследований (ICMAR), проводимой ИТПМ СО РАН. Будучи одним из организаторов EUCAS (Европейская объединённая конференция по аэрокосмическим наукам) и EHA (Европейская гиперзвуковая ассоциация), он активно способствует установлению и укреплению контактов ИТПМ СО РАН с международными организациями аэродинамического профиля. Он является председателем Оргкомитета Европейского симпозиума по аэротермодинамике космических аппаратов и постоянно обеспечивает активное участие сотрудников ИТПМ СО РАН в этом симпозиуме.
В качестве Директора Фон-Кармановского института по механике жидкости Жан Майларт разработал меморандум о совместной деятельности с ИТПМ СО РАН, в котором подробно представлены перспективные направления сотрудничества в области аэротермодинамики и возможности его финансирования. Недавно этот меморандум был подписан обеими сторонами.
Активная деятельность Жана Майларта в области аэрокосмических исследований и его длительное сотрудничество с учёными СО РАН свидетельствуют о том, что избрание Жана Майларта почетным доктором СО РАН будет способствовать дальнейшему укреплению и расширению научных связей России и Европейского союза через Европейское космическое агентство.
Выдвинут на звание Почётного доктора СО РАН Учёным советом ИТПМ
им. С. А. Христиановича СО РАН, поддержан Объединённым учёным советом по энергетике, машиностроению, механике и процессам управления.
стр. 9
| 
