Patrick Prosser - Patrick Prosser

Patrick Prosser
Prosser SandYacht listopad 2003 lzn.jpg
narozený8. září 1952 (1952-09-08)
Národnostbritský
Alma materStrathclyde University
Známý jakoKonfliktní zpětné skoky
Vědecká kariéra
PoleOmezení programování
InstituceGlasgowská univerzita
Doktorský poradceIain Buchanan

Patrick Prosser (narozen 8. září 1952) je počítačový vědec v Glasgowská univerzita. Jeho výzkum se soustředil na Omezení programování, ačkoli se rozšířila do aplikace těchto technik do dalších oblastí. Za hlavní přínos v teorii a praxi programování omezení získal Patrick 15. září 2011 cenu Asociace pro omezení programování v oblasti výzkumu: je pouze šestým příjemcem tohoto ocenění.[1] Přednesl předem zaznamenaný akceptační projev, který je k dispozici na YouTube.[2]

Jeho nejpozoruhodnějším příspěvkem je jeho vynález Konfliktně zaměřený zpětný skok, pokročilá technika pro omezení hledání v problémech s omezeními tím, že se vyhnete zbytečné práci na zpětném sledování. Jeho papír z roku 1993[3] popisující toto bylo široce citováno.[4]

Mezi další oblasti programování omezení, které prozkoumal, patří identifikace závažných problémů[5]a techniky řešení problémů s trasováním vozidel.[6] Jeho zájem o aplikace programování omezení zahrnoval (například), jak to může být použito při výpočtu stromů druhů.[7]

Mezi jeho rekreace patří létání draků jako zakladatel Skotský klub draků. Psal o Čtyřboký drak.[8]

Reference

externí odkazy