Радия Кузо

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