Патрик Проссер - Patrick Prosser

Патрик Проссер
Prosser SandYacht ноябрь 2003 г. lzn.jpg
Родился8 сентября 1952 г. (1952-09-08)
НациональностьБританский
Альма-матерСтратклайдский университет
ИзвестенОбратный прыжок, направленный на конфликт
Научная карьера
ПоляОграниченное программирование
УчрежденияУниверситет Глазго
ДокторантИэн Бьюкенен

Патрик Проссер (родился 8 сентября 1952 г.), ученый-компьютерщик в Университет Глазго. Его исследования были сосредоточены на Ограниченное программирование, хотя он распространился на применение этих методов в других областях. За свой большой вклад в теорию и практику программирования с ограничениями 15 сентября 2011 года Патрик был удостоен награды Ассоциации за выдающиеся достижения в области программирования.[1] Он произнес заранее записанную приветственную речь, которая доступна на YouTube.[2]

Его самый заметный вклад - изобретение Обратный прыжок, направленный на конфликт, усовершенствованный метод сокращения поиска в задачах ограничений, позволяющий избежать ненужной работы по отслеживанию с возвратом. Его статья 1993 года[3] описание этого широко цитируется.[4]

Другие области программирования с ограничениями, которые он исследовал, включают определение сложных проблем.[5]и методы решения проблем с маршрутизацией транспортных средств.[6] Его интерес к приложениям программирования с ограничениями включал (например), как его можно использовать в вычислении деревьев видов.[7]

Среди его развлечений - запуск воздушных змеев в качестве основателя Кайт-клуб Шотландии. Он писал о Тетраэдрический змей.[8]

Рекомендации

внешняя ссылка