Ян Гент - профессор и британский ученый-компьютерщик, работающий в области искусственного интеллекта и специализирующийся в области программирования ограничений . Он профессор Сент-Эндрюсского университета . Он (вместе с Тоби Уолшем ) впервые написал о фазовом переходе во многих NP-полных задачах, в частности SAT. Он также был одним из первых исследователей, которые исследовали полные общие методы обработки симметрии в программировании ограничений.
Ян Филип Гент | |
---|---|
Национальность | Британский |
Альма-матер | Кембриджский университет , Университет Уорвика |
Научная карьера | |
Поля | Информатика |
Учреждения | Сент-Эндрюсский университет |
Тезис | Аналитические системы доказательств для классической и модальной логики ограниченной квантификации (1992) |
Докторант | Тони Кон |
Веб-сайт | ipg |
Ян Гент - основатель Recomputation.org [1] группы, занимающейся воспроизводимыми экспериментами в информатике. [2]
Он был одним из основателей веб-сайта csplib.org [3] и популяризировал множитель Петри .
В январе 2013 года Ян Гент вместе с Микаэлем Вейдемо-Йоханссоном основал блог Depressed Academics [4] .