Pat Hayes
Pat Hayes | |
|---|---|
| Born | Patrick John Hayes 21 August 1944 Newent, Gloucestershire, UK |
| Citizenship | UK |
| Education | Bentley Grammar School |
| Alma mater | University of Cambridge (BA) University of Edinburgh (PhD) |
| Known for | Naive Physics Manifesto |
| Awards | AAAI Fellow (1990) |
| Scientific career | |
| Fields | Computer Science |
| Institutions | Florida Institute for Human & Machine Cognition University of Cambridge University of Edinburgh University of Illinois at Urbana-Champaign University of Rochester University of Essex |
| Thesis | Semantic trees: new foundations for automatic theorem proving (1973) |
| Doctoral advisor | Bernard Meltzer |
| Website | ihmc |
Patrick John Hayes (born 21 August 1944) is a British computer scientist who lives and works in the United States. He is a Senior Research Scientist Emeritus at the Institute for Human and Machine Cognition (IHMC) in Pensacola, Florida.