Радия Кусо

Радия Кусо
Рожденный	( 1947-08-06 ) 6 августа 1947 г. Сай Сиди Юсеф , Тунис
Умер	1 мая 2014 г. (01.05.2014) (67 лет) Нью-Йорк
Гражданство	Французский
Альма-матер	Национальный политехнический институт Лотарингии
Известный	Абстрактная интерпретация
Супруг	Патрик Кузо
Награды	ACM SIGPLAN за достижения в области языков программирования Премия от компьютерного общества IEEE Премия Харлана Д. Миллса
Научная карьера
Поля	Информатика
Диссертация	Основы методов доказательства инвариантности и фатальности параллельных программ   (1985)
Докторантура	Клод Пэйр

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

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

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

Карьера

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

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

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

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

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

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

Награды

Вместе с Патриком Кузо она получила награду ACM SIGPLAN за достижения в области языков программирования. в 2013 году и от Компьютерного общества IEEE. Харлана Д. Миллса награда в 2014 году за «изобретение абстрактной интерпретации , разработку инструментальной поддержки и ее практическое применение».

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

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

• 2014 ( Мюнхен , Германия ): Александр Чакаров (Университет Колорадо, Боулдер, Колорадо, США), Инварианты математического ожидания для вероятностных программных циклов как фиксированных точек (совместно со Шрирамом Санкаранараянаном), М. Мюллер-Ольм и Х. Зайдль (ред.): SAS 2014 , LNCS 8723 , стр. 85–100, Springer.
• 2015 ( Сен-Мало , Франция ): Марианна Рапопорт (Университет Ватерлоо, Онтарио, Канада), Точный анализ потока данных при наличии коррелированных вызовов методов (совместно с Ондреем Лотаком и Фрэнком Типом), С. Блази и Т. Йенсен (редакторы) .): SAS 2015 , LNCS 9291 , стр. 54–71, Springer.
• 2016 ( Эдинбург , Шотландия ): Стефан Шульце Фрилингхаус (Мюнхенский технический университет, Германия), Принудительное прекращение межпроцедурного анализа (совместно с Хельмутом Зайдлем и Ральфом Фоглером), Ксавье Ривал (ред.): SAS 2016 , LNCS 9837 , стр. 447 – 468, джемпер
• 2017 ( Нью-Йорк , Нью-Йорк, США ): Сувам Мукерджи (Индийский институт науки, Бангалор, Индия) и Одед Падон (Тель-Авивский университет, Израиль), Локальная семантика потоков и ее эффективные последовательные абстракции для программ без расы (с Шэрон Шохам, Дипак Д'Суза и Ноам Ринецки), Франческо Ранзато (ред.): SAS 2017 , LNCS 10422 , стр. 253–276, Springer

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

• Домашняя страница Радии Кузо в Высшей нормальной школе
• Краткая биография
• Публикации Радии Кузо в Высшей нормальной школе
• Премия Радии Кузо в Высшей нормальной школе
• Исчезновение Радии Кузо в Институте информатики и их НЦРС взаимодействия
• Радия Кузо на DBLP библиографическом сервере
• Радия Кусо в проекте «Математическая генеалогия»