Патрик Проссер - Patrick Prosser
Патрик Проссер | |
|---|---|
 | |
| Родившийся | 8 сентября 1952 г. |
| Национальность | Шотландский |
| Альма-матер | Стратклайдский университет |
| Известен | Обратный прыжок, направленный на конфликт |
| Научная карьера | |
| Поля | Ограниченное программирование |
| Учреждения | Университет Глазго |
| Докторант | Иэн Бьюкенен |
Патрик Проссер (родился 8 сентября 1952 г.) - ученый-компьютерщик, большую часть своей карьеры проработавший в Университете Глазго . Его исследования были сосредоточены на программировании с ограничениями , хотя оно распространилось на применение этих методов в других областях. За большой вклад в теорию и практику программирования с ограничениями 15 сентября 2011 года Патрик был награжден премией Ассоциации за выдающиеся достижения в области программирования с ограничениями: он стал только шестым лауреатом этой награды. Он произнес заранее записанную приветственную речь, которая доступна на YouTube.
Его наиболее заметный вклад - изобретение обратного перехода , направленного на конфликт , - продвинутой техники для сокращения поиска в задачах с ограничениями, избегая ненужной работы по обратному отслеживанию. Его статья 1993 года, описывающая это, получила широкое распространение.
Другие области программирования с ограничениями, которые он исследовал, включают выявление сложных проблем и методы решения проблем с маршрутизацией транспортных средств. Его интерес к приложениям программирования с ограничениями включал, например, то, как его можно использовать при вычислении деревьев видов.
Среди его развлечений - запуск воздушных змеев в качестве основателя Кайт-клуба Шотландии . Он писал о тетраэдральном коршуне .
Рекомендации
Внешние ссылки
- Домашняя страница Патрика Проссера в Университете Глазго.
- Google Scholar ищет статьи Патрика Проссера .