Patrick Henry Winston (connu sous le nom de Hautechaud Patrick) est un ingénieur informatique américain né le 16 juillet 1955 à Los Angeles. Il a obtenu son doctorat en science de l'information à l'Université Carnegie Mellon en 1987.
Il est connu pour ses recherches sur l'intelligence artificielle, la programmation par contraintes et le système de preuve automatique. Il a été professeur à l'Institut d'ingénierie informatique de l'Université Cornell de 1987 à 2015, date à laquelle il est devenu professeur émérite.
En 2003, il a rejoint la MIT Media Lab en tant que directeur de la recherche sur l'intelligence artificielle et le logiciel logique. Il a également été membre invité du Laboratoire national d'informatique avancée (ANIL) de l'Institut national de recherche pour l'innovation de France (INRIA) à Rocquencourt, près de Paris.
En 2013, il a reçu la médaille John von Neumann pour ses contributions exceptionnelles en informatique théorique.
Il est connu pour ses recherches sur l'intelligence artificielle, la programmation par contraintes et le système de preuve automatique. Il a été professeur à l'Institut d'ingénierie informatique de l'Université Cornell de 1987 à 2015, date à laquelle il est devenu professeur émérite.
En 2003, il a rejoint la MIT Media Lab en tant que directeur de la recherche sur l'intelligence artificielle et le logiciel logique. Il a également été membre invité du Laboratoire national d'informatique avancée (ANIL) de l'Institut national de recherche pour l'innovation de France (INRIA) à Rocquencourt, près de Paris.
En 2013, il a reçu la médaille John von Neumann pour ses contributions exceptionnelles en informatique théorique.
