«Наука в Сибири» ПОЧЁТНЫЕ ДОКТОРА СО РАН21 апреля на годичном Общем собрании Отделения трое известных зарубежных учёных были избраны почётными докторами СО РАН.
Профессор Дана Стюарт Скотт (р. 1932 г.) — известный американский учёный в области математики и информатики. Исследования Д.Скотта связаны с теорией моделей, теорией автоматов, модальной и интуиционистской логиками, конструктивной математикой и связью между логикой и теорией категорий. Философские интересы лежат в области оснований логики, философии математики и семантического анализа естественных языков. Сделал крупный вклад в развитие компьютерных наук, разработав математическую теорию вычислений. Работы в области компьютерных наук направлены на теорию и модели вычислений, включая разработку денотационной семантики языков программирования и математических основ вычислимости. В настоящее время Д. Скотт является заслуженным хилмановским университетским профессором по программированию, философии и математической логике университета Карнеги Меллон; проживает в Беркли, Калифорния. Главный редактор журнала «Логические методы в программировании» (Logical Methods in Computer Science). Степень бакалавра по математике получена им от университета Калифорнии в Беркли в 1954 г. Научную степень (Ph.D.) за работу «Сходящиеся последовательности полных теорий», подготовленную при научном руководстве проф. А. Чёрча, защитил в Принстоне в 1954 г. Свою научную деятельность (до 1960 г.) он продолжал в университете Чикаго, где (в 1959 г.) совместно со своим коллегой по Принстону М. О. Рабиным подготовил работу «Конечные автоматы и их проблема разрешимости», в которой в теорию автоматов было введено понятие недетерминированных машин. Эти исследования привели к созданию теории сложности вычислений, за что учёные были удостоены премии Тьюринга. В период, связанный с работой в университетах Стэнфода, Амстердама, Принстона В Институте математики им. С. Л. Соболева СО РАН разрабатывается подход в функциональном анализе на основе булевозначных моделей, основы которых были заложены Д. Скоттом. В рамках теории денотационной семантики, создателями которой являются Ю. Л. Ершов и Д. Скотт, ведутся активные исследования в ИМ СО РАН, выполняется совместный грант РФФИ-ННИО. Д. Скотт — один из создателей языка бесконечных формул. В теории моделей исследования ранга Скотта ведутся совместно исследования сотрудниками ИМ СО РАН с американскими учёными по гранту ННФ США. Профессор Д. Скотт награждён Золотой медалью ИМ СО РАН за выдающийся вклад в развитие математики, является приглашённым пленарным докладчиком на международной конференции по алгебре и логике, посвящённой Выдвинут на звание Почётного доктора СО РАН Учёным советом Института математики им. С. Л. Соболева СО РАН, поддержан Объединённым учёным советом по математике и информатике.
Профессор Михаэль Рэш родился 21.10.1964 в г.Грац (Австрия), имеет степень Ph.D. в области технических наук (2001 г.) и звание профессора (2003 г.). М. Рэш — ведущий мировой специалист в области высокопроизводительных вычислений и суперкомпьютеров, автор 190 научных работ, в том числе 23 монографий. Профессор М. Рэш руководит рядом проектов в области GRID-вычислений, облачных вычислений, визуализации и масштабирования параллельных алгоритмов. Центральное место в его работах занимают вопросы использования математических методов и информационных технологий в решении практических задач. В Основные усилия Штутгартского центра высокопроизводительных вычислений сосредоточены в области архитектуры ЭВМ, параллельного программирования, разработки средств визуализации, адаптации программного обеспечения к высокопроизводительным вычислительным устройствам новых архитектур. М. Рэш является членом Технического совета по вычислениям 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 и МНТЦ. Сотрудничество Ж. Майларта с ИТПМ началось в середине В качестве Директора Фон-Кармановского института по механике жидкости Жан Майларт разработал меморандум о совместной деятельности с ИТПМ СО РАН, в котором подробно представлены перспективные направления сотрудничества в области аэротермодинамики и возможности его финансирования. Недавно этот меморандум был подписан обеими сторонами. Активная деятельность Жана Майларта в области аэрокосмических исследований и его длительное сотрудничество с учёными СО РАН свидетельствуют о том, что избрание Жана Майларта почетным доктором СО РАН будет способствовать дальнейшему укреплению и расширению научных связей России и Европейского союза через Европейское космическое агентство. Выдвинут на звание Почётного доктора СО РАН Учёным советом ИТПМ им. С. А. Христиановича СО РАН, поддержан Объединённым учёным советом по энергетике, машиностроению, механике и процессам управления. стр. 9 |