Кан, Жиль
Жиль Кан (фр. Gilles Kahn) — французский ученый в области информатики. Был научным директором и президентом Государственного института исследований в информатике и автоматике (INRIA).
Жиль Кан | |
---|---|
Gilles Kahn | |
Дата рождения | 17 апреля 1946(1946-04-17) |
Место рождения | Париж |
Дата смерти | 9 февраля 2006(2006-02-09) (59 лет) |
Место смерти | Гарш |
Страна | Франция |
Научная сфера | Теоретическая информатика |
Место работы | INRIA |
Альма-матер | Политехническая школа (Париж) |
Известен как | Сеть процессов Кана, Proof assistant (англ.) (рус., Естественная семантика (англ.) (рус. |
Награды и премии |
Был действительным членом Французской академии наук и научным директором INRIA с 1993 года до мая 2004 года, в 2004 занял пост президента, будучи специалистом в средах программирования и средах компьютерной проверки. Жиль Кан, после обучения в Политехнической школе (X1964), несколько лет провёл за границей. Занимался исследованиями в Стэнфордском университете (1968—1971), Эдинбургском университете (1975—1976), Кембриджском университете (1995) совместно с известными учёными. Тем не менее, он так и не закончит получил докторскую степень в области информатики на семантики языков программирования.
Нанятый CEA и CISI при проведении их научной деятельности в Рокканкуре, он присоединился к INRIA (тогда IRIA) в 1977 году в качестве руководителя проекта, посвященного развитию сред программирования (Mentor, Centaur). Именно в тот год он приобрел мировую известность благодаря публикации статьи о концепции параллельных вычислений, которая носит его имя: «Сеть процессов Кана».
В 1983 году он участвовал в создании научно-исследовательского подразделения INRIA София-Антиполис, где одновременно продолжал вести научно-исследовательскую работу и выполнять роль руководителя. В 1993 году Жиль Кан примкнул к генеральному руководству института и стал его научным руководителем. С мая 2004 года занял пост исполнительного директора INRIA.
Жиль Кан был членом многих научных компаний и научно-исследовательских организаций во Франции (ONERA, BRGM (англ.) (рус., CNES, EDF, ILOG и т. д.) и за рубежом. Он был членом Совета директоров CNRS и Генерального совета информационных технологий. Участвовал во многих оценках международных научных организаций и в жюри международных научных премий.
Основные направления научных исследованийПравить
Жиль Кан был одним из первых во Франции исследователей в области информатики. Кроме сети процессов Кана, он был предшественником исследований в следующих областях:
- в денотационной семантике;
- в семантике языков программирования;
- в программной инженерии он ввёл системы Mentor и Centaur, которые являются первопроходцами современных интегрированных сред разработки;
- в Proof assistant (англ.) (рус. он предложил интерфейс на естественных языках.
Составитель ряда дальновидных прогнозовПравить
Привлеченный по поручению для представления национальных интересов, был членом комиссии по расследованию случая аварии ракеты-носителя Ариан 5 (4 июня 1996) совместно с Дидье Ломбаром (1997), а в 2000 году выступал в качестве соавтора доклада Президенту Республики "О всеобщем доступе к знаниям".
Издание Le Monde за 12 февраля 2006 (статья) года отметило, что основные "темы основных исследований Жиля Кана, проводившихся с начала 1970 годов - когда компьютерные науки находились на стадии зарождения - по прежнему очень актуальны. Его работы по асинхронным распределенным вычислениям, семантике языков программирования и разработке сред программирования сегодня вдохновляют много исследований как в промышленной так и в академической сфере.[...] Знание семантики языков программирования позволило ему сыграть решающую роль в расследовании аварии на первом запуске ракеты-носителя Ариан-5 в июне 1996 года. В частности, именно ему удалось идентифицировать ошибки преобразования программного обеспечения, произошедшие в процессе запуска европейской ракеты-носителя."
Жиль Кан был первым ученым в области информатики, который был избран членом Французской академии наук. Его бывший коллега и друг Бернард Ланг, которого цитирует Le Monde, говорил, что "Жиль Кан был больше, чем президентом института. Он был его душой." В его честь была названа награда Prix Gilles Kahn (фр.) (рус..
См. такжеПравить
- Prix Gilles Kahn (фр.) (рус.
СсылкиПравить
- " Gilles Kahn, un visionnaire ", на сайте INRIA
- Biographie sur le site de l’Académie des Sciences
- La recherche et développement, clé d’un nouvel essor des télécommunications en France, rapport et propositions, de Didier Lombard et Gilles Kahn (novembre 1996)