Тьерри Коканд
-
Биография и карьера Тьерри Коканда
- Французский ученый-компьютерщик, профессор компьютерных наук в Гетеборгском университете
- Ранее работал в INRIA
- Известен работами в области конструктивной математики и математического анализа конструкций
-
Научные достижения
- Получил докторскую степень под руководством Жерара Юэ
- Первая опубликованная статья в сотрудничестве с Хьюэтом в 1985 году
- В 1986 году опубликовал статью о парадоксе Жирара
- Автор множества статей на французском и английском языках
-
Вклад в информатику
- Соавтор программы Coq, proof assistant, выпущенной в 1989 году
- Coq получил награду ACM SIGPLAN в 2013 году за разработку среды для формальных рассуждений
- Использовался для решения математических задач, включая теорему о четырех цветах
- Применялся в разработке программного обеспечения, например, с CompCert C
-
Публичные выступления и сотрудничество
- Часто выступает с докладами по своей специализации
- Сотрудничал с профессором Ноттингемского университета Торстеном Альтенкирхом
-
Дополнительные ресурсы
- Ссылки на другие работы Коканда и внешние ресурсы
Полный текст статьи: