Патрик Кузо
Патрик Кузо | |
|---|---|
 декабрь 2007 г. | |
| Рожденный | 3 декабря 1948 г. |
| Национальность | Французский |
| Альма-матер | Национальная горная школа Нэнси , Жозеф Фурье Гренобльский университет I |
| Известный | Абстрактная интерпретация |
| Супруг | Радия Кусо |
| Награды | Серебряная медаль ЦНРС Большой приз EADS Фонда |
| Научная карьера | |
| Тезисы |
|
| Докторантура | Майкл Гриффитс (1974), Филипп Жорран (1978) |
Патрик Кузо (родился 3 декабря 1948 года) — французский учёный-компьютерщик, в настоящее время серебряный профессор компьютерных наук в Институте математических наук Куранта , Нью-Йоркского университета США. До этого он был профессором Высшей нормальной нормальной школы (ENS), Париж, Франция, Политехнической школы , Палезо, Франция, и Университета Меца , Франция, а также научным сотрудником Французского национального центра научных исследований (CNRS) в Институте Жозефа Фурье. Университет , Гренобль, Франция.
Вместе со своей женой Радией Кузо (1947–2014) Патрик Кузо является создателем абстрактной интерпретации — влиятельной техники в формальных методах . В 2000-х годах он работал над практическими методами статического анализа критического встроенного программного обеспечения ( Astrée ), например, используемого в авионике .
В 1999 году он получил серебряную медаль CNRS , а в 2006 году — большую премию Фонда EADS . В 2001 году ему была присвоена степень почётного доктора Саарского университета ) (Германия . Вместе с Радией Кусо он получил премию ACM SIGPLAN за достижения в области языков программирования в 2013 году и IEEE Computer Society награду Харлана Д. Миллса в 2014 году «За изобретение « абстрактной интерпретации », разработку поддержки инструментов и ее практическое применение». Он получил премию Гумбольдта за исследования в 2008 году и медаль Джона фон Неймана IEEE 2018 года «за внедрение абстрактной интерпретации , мощной структуры для автоматического расчета свойств программы с широким применением для проверки и оптимизации». В 2020 году Кузо был удостоен награды ACM Fellow «за вклад в языки программирования посредством изобретения и развития абстрактной интерпретации». В 2022 году Кузо был удостоен звания почетного доктора Венецианского университета Ка Фоскари . Он получил награду EATCS 2022 года , которая вручается EATCS в знак признания обширного и широко признанного вклада в теоретическую информатику за всю научную карьеру. Он рыцарь( Chevalier ) в Ordre National du Mérite и Ordre des Palmes académiques , член Academia Europaea , секции информатики (с 2006 года) и член Попечительского совета IMDEA Software Institute .
Ссылки [ править ]
Внешние ссылки [ править ]
- Домашняя страница Патрика Кузо в Нью-Йоркском университете
- Домашняя страница Патрика Кузо в ENS
- Домашняя страница Патрика Кузо в Массачусетском технологическом институте
- Патрик Кузо на DBLP библиографическом сервере
- Патрик Кузо в проекте «Математическая генеалогия»
 | Эта статья о французском компьютерном специалисте незавершена . Вы можете помочь Википедии, расширив ее . |