Patrick Prosser (nacido el 8 de septiembre de 1952) es un científico 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 con 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 con restricciones, Patrick recibió el Premio a la Excelencia en Investigación de la Asociación de Programación con Restricciones el 15 de septiembre de 2011: es solo el sexto destinatario de este premio. [1] Pronunció un discurso de aceptación pregrabado, que está disponible en YouTube. [2]
Su contribución más notable es la invención del salto hacia atrás dirigido por conflictos , una técnica avanzada para reducir la búsqueda en problemas de restricciones al evitar el trabajo innecesario de retroceso. Su artículo de 1993 [3] que describe esto ha sido ampliamente citado. [4]
Otras áreas de programación de restricciones que ha investigado incluyen la identificación de problemas difíciles [5] y técnicas para resolver problemas de enrutamiento de vehículos. [6] Su interés en las aplicaciones de la programación de restricciones ha incluido (por ejemplo) cómo se puede utilizar para calcular árboles de especies. [7]
Entre sus pasatiempos se encuentra el vuelo de cometas, como fundador del Kite Club of Scotland. Ha escrito sobre la cometa tetraédrica . [8]