Кузо, Радия

Радия Кузо
Radhia Cousot
Имя при рождении	фр. Radhia Rezig[1]
Дата рождения	6 августа 1947(1947-08-06)[1]
Место рождения	Сакет-Сиди-Юсеф[вд], Тунис[1]
Дата смерти	1 мая 2014(2014-05-01)[1] (66 лет)
Место смерти	Нью-Йорк, Нью-Йорк, США
Страна	Франция
Род деятельности	специалист в области информатики, инженер
Научная сфера	информатика
Место работы	Университет Гренобль 1 Национальный центр научных исследований Университет Нанси I Университет Париж-юг XI Политехническая школа Высшая нормальная школа
Альма-матер	Institut National Polytechnique de Lorraine
Учёная степень	доктор философии
Учёное звание	профессор
Научный руководитель	Клод Пэр[фр.]
Известна как	соавтор абстрактной интерпретации
Награды и премии	ACM SIGPLAN Programming Languages Achievement Award IEEE Computer Society Harlan D. Mills Award
Медиафайлы на Викискладе

Радия Кузо (6 августа 1947 — 1 мая 2014^[2]) — французский учёный в области информатики, известная изобретением метода абстрактной интерпретации^[англ.] компьютерных программ. Абстрактная интерпретация позволяет делать выводы о семантике (поведении) программ, не запуская её полностью, но используя заложенные в ней алгоритмические свойства с помощью анализа потока управления и потока данных^{[англ.][3][4]}. Таким образом, абстрактная интерпретация плотно связана с такими подходами, как суперкомпиляция В. Ф. Турчина, частичные вычисления Ё. Футамуры и смешанные вычисления А. П. Ершова^[5]. Методы статического анализа кода современной информатики немыслимы без абстрактной интерпретации.

Радия Кузо родилась в Тунисе, в городе Сакет-Сиди-Юсеф^[англ.]. В возрасте десяти лет этот город разбомбила французская армия^[фр.] в ответ на сбитый в алжирской войне за независимость самолёт. В результате налёта было убито 75 местных жителей и 150 ранено, но Кузо не пострадала. После лицея в Сусе и затем в Алжире она поступила в престижную Политехническую школу Алжира^[англ.], которую окончила с отличием. Благодаря гранту ЮНЕСКО, она получила шанс закончить магистратуру в Университете Гренобля в 1972. В 1985 в Нанси она защитила кандидатскую диссертацию по теме «Основы методов доказательства инвариантности и конечности^[англ.] параллельных программ» (фр. Fondements des méthodes de preuve d'invariance et de fatalité de programmes parallèles)^[6].

Места работы Радии Кузо включали^[7]:

• Университет Гренобль 1 — стипендиат ЮНЕСКО (1971—1974), адъюнкт (1975—1979)
• Национальный центр научных исследований
  • Университет Нанси I — младший научный сотрудник (1980—1983)
  • Университет Париж-юг XI — научный сотрудник (1983—1988)
  • Политехническая школа — научный сотрудник (1989—1995), старший научный сотрудник (1996—2008)
  • Высшая нормальная школа — старший научный сотрудник (2006—2014)
• IBM Research^[англ.] Thomas J. Watson Research Center^[англ.] — приглашённый учёный (2006, 2007)
• Microsoft Research — приглашённый учёный (2009, 2010, 2011)

Радия Кузо скончалась 1 мая 2014 в Нью-Йорке от рака желудочно-кишечного тракта^[8].

Абстрактная интерпретация — техника, предложенная Радией и Патриком Кузо в конце 1970-х^[3][4], оказала большое влияние на развитие формальных методов. Она основана на трёх идеях:

1. Любое рассуждение, доказательство или статический анализ компьютерной системы опирается на семантику, описывающую, на каком-то уровне абстракции, её возможные варианты выполнения.
2. Рассуждение, доказательство или статический анализ должен абстрагироваться от всех семантических свойств, не имеющих отношение к аргументации.
3. В доказательствах допустимы приблизительные выводы с помощью математической индукции, поскольку точные могут быть недостижимы из-за принципиальной нерешаемости, невозможности автоматизации или комбинаторного взрыва.

В диссертации Радия Кузо предложила формализацию семантики, схемы доказательств и методы статического анализа для конкурентных и параллельных программ^[9]

В 2013 Радия и Патрик Кузо получили награду ACM SIGPLAN^[англ.] Programming Languages Achievement Award^[10] за достижения в теории языков программирования и аналогичную награду IEEE Computer Society^[англ.] Harlan Mills^[англ.] Award^[11] «за изобретение абстрактной интерпретации, разработку программного обеспечения и практическое их применение». В сентябре 2014, через несколько месяцев после смерти Кузо, была учреждена награда её имени для поощрения молодых учёных, вручаемая ежегодно на симпозиуме по статическому анализу (Static Analysis Symposium, SAS)^[12] за лучшую статью, представленную молодым учёным. Получателями первых лет стали^[13]:

• (2014) Александар Чакаров (Колорадский университет в Боулдере, США)
• (2015) Марианна Рапопорт (Университет Ватерлоо, Канада)
• (2016) Штефан Шульце Фрилингау (Технический университет Мюнхена, Германия)

• Домашняя страница Радии Кузо на последнем месте работы
• Биография
• Список публикаций
• Награда Радии Кузо
• Disparition de Radhia Cousot
• Radhia Cousot на DBLP (список статей)
• Кузо, Радия (англ.) в проекте «Математическая генеалогия»