Ян Гент - Ian Gent - Wikipedia

Ян Филип Гент
НациональностьБританский
Альма-матерКембриджский университет, Уорикский университет
Научная карьера
ПоляИнформатика
УчрежденияСент-Эндрюсский университет
ТезисАналитические системы доказательств для классической и модальной логики ограниченной квантификации  (1992)
ДокторантТони Кон
Интернет сайтipg.host.cs.st-andrews.ac.Великобритания

Ян Гент это профессор и британский специалист в области информатики работает в области Искусственный интеллект и специализируется в области Ограниченное программирование. Он профессор Сент-Эндрюсский университет. Он (вместе с Тоби Уолш ) впервые написал о фаза перехода во многих НП завершена проблемы, в частности SAT. Он также был одним из первых исследователей, которые исследовали полные общие методы обработки симметрия в программировании ограничений.

Ян Гент - основатель сайта Recomputation.org,[1] группа, посвященная воспроизводимым экспериментам в информатике.[2]

Он был одним из основателей csplib.org.[3] веб-сайт и популяризировал Множитель Петри.

В январе 2013 года Ян Гент основал блог Depressed Academics.[4] с Микаэлем Вейдемо-Йоханссоном.

использованная литература

внешние ссылки