Ян Гент - Ian Gent

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

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

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

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

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

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

Эта биографическая статья, касающаяся компьютерного специалиста, незавершена . Вы можете помочь Википедии, расширив ее .