Patrick Prosser (nacido el 8 de septiembre de 1952) es un informático que pasó la mayor parte de su carrera en la Universidad de Glasgow . Su investigación se ha centrado en la programación de restricciones , aunque se ha extendido a la aplicación de esas técnicas en otras áreas. Por sus importantes contribuciones a la teoría y la práctica de la Programación de Restricciones, Patrick fue galardonado con el Premio a la Excelencia en Investigación de la Asociación para la Programación de Restricciones el 15 de septiembre de 2011: es solo el sexto destinatario de este premio. [1] Dio un discurso de aceptación pregrabado, que está disponible en YouTube. [2]
Su contribución más notable es su invención del backjumping dirigido por conflictos , una técnica avanzada para reducir la búsqueda en problemas de restricción al evitar el trabajo innecesario de backtracking. Su artículo de 1993 [3] que describe esto ha sido ampliamente citado. [4]
Otras áreas de la programación de restricciones que ha investigado incluyen la identificación de problemas difíciles [5] y técnicas para resolver problemas de generación de rutas para vehículos. [6] Su interés en las aplicaciones de la programación de restricciones ha incluido (por ejemplo) cómo se puede utilizar en el cálculo de árboles de especies. [7]
Entre sus recreaciones se encuentra volar cometas como fundador del Kite Club of Scotland . Ha escrito sobre la cometa tetraédrica . [8]