|
Кузо, Радия
Радия Кузо (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 мая 2014 в Нью-Йорке от рака желудочно-кишечного тракта[8]. Научные достиженияАбстрактная интерпретация — техника, предложенная Радией и Патриком Кузо в конце 1970-х[3][4], оказала большое влияние на развитие формальных методов. Она основана на трёх идеях:
В диссертации Радия Кузо предложила формализацию семантики, схемы доказательств и методы статического анализа для конкурентных и параллельных программ[9] В 2013 Радия и Патрик Кузо получили награду ACM SIGPLAN[англ.] Programming Languages Achievement Award[10] за достижения в теории языков программирования и аналогичную награду IEEE Computer Society[англ.] Harlan Mills[англ.] Award[11] «за изобретение абстрактной интерпретации, разработку программного обеспечения и практическое их применение». В сентябре 2014, через несколько месяцев после смерти Кузо, была учреждена награда её имени для поощрения молодых учёных, вручаемая ежегодно на симпозиуме по статическому анализу (Static Analysis Symposium, SAS)[12] за лучшую статью, представленную молодым учёным. Получателями первых лет стали[13]:
Примечания
Ссылки
|
|||||||||||||||||||||||||||||||||||||||||||||
Portal di Ensiklopedia Dunia
