Ян Гент
 | В этой статье есть несколько проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалять эти шаблонные сообщения )
|
Ян Филип Гент | |
|---|---|
| Национальность | Британский |
| Альма-матер | Кембриджский университет , Уорикский университет |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Университет Сент-Эндрюс |
| Диссертация | Аналитические системы доказательств для классической и модальной логики ограниченной квантификации (1992) |
| Докторантура | Тони Кон |
| Веб-сайт | IPG |
Ян Гент — британский учёный-компьютерщик, работающий в области искусственного интеллекта и специализирующийся на программировании в ограничениях . Он является профессором Университета Сент-Эндрюс . Он (вместе с Тоби Уолшем ) впервые написал о фазовом переходе во многих NP-полных задачах, в частности SAT . Он также был одним из первых исследователей, исследовавших полные универсальные методы управления симметрией в программировании в ограничениях. [ нужна ссылка ]
Гент основал recomputation.org. [1] продвигать воспроизводимые эксперименты в информатике. [2]
Он был одним из основателей сайта csplib.org. [3] и популяризировал множитель Петри . [ нужна ссылка ]
В январе 2013 года Гент вместе с Микаэлем Вейдемо-Йоханссоном основал блог Depressed Academics. [4]
Ссылки [ править ]
- ^ "Добро пожаловать" . recomputation.org . Архивировано из оригинала 13 января 2018 года.
- ^ «Консолидация достижений HPC» . HPCwire . 13 августа 2013 г.
- ^ «CSPLib: проблемная библиотека для ограничений» . www.csplib.org .
- ^ «Депрессивные академики» . Архивировано из оригинала 16 мая 2021 года.
Внешние ссылки [ править ]
 | Эта статья о компьютерном специалисте из Соединенного Королевства незавершена . Вы можете помочь Википедии, расширив ее . |