Оглавление [Скрыть]
Патрик Кузот
-
Биография и карьера
- Патрик Кузо родился 3 декабря 1948 года во Франции.
- В настоящее время является серебряным профессором компьютерных наук в Нью-Йоркском университете.
- Работал в Высшей нормальной школе (ENS), Политехнической школе в Палезо и Университете Меца.
- Был научным сотрудником CNRS при Университете Жозефа Фурье.
-
Вклад в науку
- Вместе с женой Радхией Кузот создал абстрактную интерпретацию.
- В 2000-х годах работал над статическим анализом для критически важного встроенного ПО.
- Получил серебряную медаль CNRS в 1999 году и главный приз Фонда EADS в 2006 году.
- В 2001 году получил почетную докторскую степень Саарского университета.
-
Награды и признание
- В 2013 году получил награду ACM SIGPLAN за достижения в области языков программирования.
- В 2014 году получил премию IEEE Computer Society от Харлана Д. Миллса за изобретение абстрактной интерпретации.
- В 2008 году получил премию Humboldt Research Award.
- В 2018 году получил медаль Джона фон Неймана IEEE за внедрение абстрактной интерпретации.
- В 2020 году признан стипендиатом ACM за вклад в языки программирования.
- В 2022 году удостоен степени почетного доктора Венецианского университета Ка’ Фоскари.
- В 2022 году получил премию EATCS за вклад в теоретическую информатику.
-
Членство и награды
- Кавалер Национального ордена справедливости и Ордена пальмовых ветвей академии.
- Член Европейской академии, секции информатики.
- Член попечительского совета Института программного обеспечения IMDEA.