Ян Гент - Ian Gent

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

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

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

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

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

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

  1. ^ http://recomputation.org
  2. ^ http://www.hpcwire.com/2013/08/13/consolidating_hpcs_gains/
  3. ^ http://csplib.org
  4. ^ http://depressedacademics.blogspot.com

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