stringtranslate.com

Радхия Кусо

Радия Кусо (6 августа 1947 г. – 1 мая 2014 г.) [1] была французским учёным-компьютерщиком, известной изобретением абстрактной интерпретации .

Исследования

Радхия Кусо родилась 6 августа 1947 года в Сакиет Сиди Юсеф в Тунисе , где она пережила резню детей в своей школе 8 февраля 1958 года. Затем она пошла в Lycée de jeunes filles в Сусе , Lycée français в Алжире , а затем в Политехническую школу Алжира (где она заняла 1-е место и была единственной женщиной). Она специализировалась на математической оптимизации и целочисленном линейном программировании . При поддержке стипендии ЮНЕСКО (1972–1975) она получила степень магистра в области компьютерных наук (Diplôme d'études approfondies (DEA)) в Университете Жозефа Фурье в Гренобле в 1972 году. Она получила докторскую степень по наукам/государственную докторскую степень по математике в Нанси в 1985 году под руководством Клода Пэра  [fr] . [№ 1]

Карьера

Радия Кусо была назначена ассоциированным научным сотрудником в лаборатории IMAG Университета Жозефа Фурье в Гренобле (1975–1979), а с 1980 года — в Национальном центре научных исследований , где занимала должности младшего научного сотрудника, научного сотрудника, старшего научного сотрудника и почетного старшего научного сотрудника в лабораториях компьютерных наук Университета Анри Пуанкаре в Нанси (1980–1983), Университета Париж-Юг в Орсе (1984–1988), Политехнической школы (1989–2008), где с 1991 года она возглавляла исследовательскую группу «Семантика, доказательство и абстрактная интерпретация», и Высшей нормальной школы (2006–2014).

Научные достижения

Вместе со своим мужем Патриком Радия Кусо является создателем абстрактной интерпретации , [2] [3] влиятельной техники в формальных методах . Абстрактная интерпретация основана на трех основных идеях.

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

В своей диссертации Радия Кусо развила методы семантики, доказательства и статического анализа для параллельных и многопоточных программ. [4]

Радия Кусо стоит у истоков контактов с Airbus в январе 1999 года, которые привели к разработке анализатора ошибок времени выполнения Astrée с 2001 года, инструмента для анализа статической программы встроенного программного обеспечения управления/команд , разработанного в École Normale Supérieure [5] и в настоящее время распространяемого AbsInt GmbH , [6] немецкой компанией-разработчиком программного обеспечения, специализирующейся на статическом анализе. Astrée используется в транспортной , космической и медицинской отраслях программного обеспечения.

Награды

Вместе с Патриком Кусо она получила премию ACM SIGPLAN Programming Languages ​​Achievement Award [7] в 2013 году и премию IEEE Computer Society Harlan D. Mills Award [8] в 2014 году за «изобретение « абстрактной интерпретации », разработку поддержки инструментов и ее практическое применение».

Премия Радхии Кусо за лучшую работу молодого исследователя

С сентября 2014 года премия имени Радхии Кусо за лучшую работу молодого исследователя [9] ежегодно присуждается председателем программы от имени программного комитета Симпозиумов по статическому анализу (SAS). [10]

Примечания

  1. ^ В 1980-х годах во Франции существовало два уровня докторской степени, высший из которых, доктор наук/государственная докторская степень, был необходим для доступа к профессорским должностям . С тех пор он был заменен хабилитацией .

Ссылки

  1. ^ "Институт наук об информации и взаимодействиях - CNRS - Disparition de Radhia Cousot" . www.cnrs.fr.​
  2. ^ Cousot, Patrick; Cousot, Radhia (1 января 1977 г.). «Абстрактная интерпретация». Абстрактная интерпретация: унифицированная решеточная модель для статического анализа программ путем построения или аппроксимации неподвижных точек . ACM. стр. 238–252. CiteSeerX 10.1.1.216.8213 . doi :10.1145/512950.512973. S2CID  207614632 – через dl.acm.org. 
  3. ^ Cousot, Patrick; Cousot, Radhia (1 января 1979 г.). «Систематическое проектирование структур анализа программ». Труды 6-го симпозиума ACM SIGACT-SIGPLAN по принципам языков программирования — POPL '79 . ACM. стр. 269–282. CiteSeerX 10.1.1.207.2895 . doi :10.1145/567752.567778. S2CID  1547466 – через dl.acm.org. 
  4. ^ "Р. Кузо, Фонды методов предотвращения инвариантности и фатальности параллельных программ" . www.di.ens.fr.​
  5. ^ "Домашняя страница статического анализатора Astrée в ENS". ens.fr .
  6. ^ «Анализатор ошибок времени выполнения Astrée» . www.absint.com .
  7. ^ «Премия за достижения в области языков программирования». www.sigplan.org .
  8. ^ "Премия Харлана Д. Миллса • IEEE Computer Society". www.computer.org .
  9. ^ "Премия имени Радии Кусо за лучшую работу молодого исследователя". www.di.ens.fr .
  10. ^ "Центральный сайт симпозиумов по статическому анализу". staticanalysis.org .

Внешние ссылки