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