Patrick Prosser

Patrick Prosser
Prosser 2003
Född	8 september 1952 (70 år) Glasgow , Skottland
Nationalitet	skotska
Alma mater	Strathclyde University
Känd för	Konfliktriktad backjumping
Vetenskaplig karriär
Fält	Begränsningsprogrammering
institutioner	University of Glasgow
Doktorand rådgivare	Iain Buchanan

Patrick Prosser (född 8 september 1952) är en datavetare som tillbringade större delen av sin karriär vid University of Glasgow . Hans forskning har fokuserat på Constraint-programmering , även om den har utvidgats till tillämpningen av dessa tekniker till andra områden. För sina stora bidrag till teorin och praktiken av Constraint Programming tilldelades Patrick Association for Constraint Programming's Research Excellence Award den 15 september 2011: han är bara den sjätte mottagaren av detta pris. Han höll ett förinspelat tacktal, som finns tillgängligt på YouTube.

Hans mest anmärkningsvärda bidrag är hans uppfinning av Conflict-directed backjumping , en avancerad teknik för att minska sökningen i begränsningsproblem genom att undvika onödigt arbete med backtracking. Hans papper från 1993 som beskriver detta har citerats flitigt.

Andra områden av begränsningsprogrammering han har forskat på inkluderar identifiering av svåra problem och tekniker för att lösa fordonsdirigeringsproblem. Hans intresse för tillämpningar av begränsningsprogrammering har inkluderat (till exempel) hur det kan användas vid beräkning av artträd.

Bland hans rekreationer är drakflygning som grundare av Drakklubben i Skottland . Han har skrivit om den tetraedriska draken .

externa länkar

• Patrick Prossers hemsida vid University of Glasgow.
• Google Scholar söker efter Patrick Prossers papper .