Pat Hayes

Hayes was educated at the Bentley Grammar School, Calne. He studied the Cambridge Mathematical Tripos and received a Bachelor of Arts degree in mathematics from the University of Cambridge in 1966 and a PhD in artificial intelligence with the thesis 'Semantic trees: New foundations for automatic theorem-proving' from the University of Edinburgh in 1973.

After leaving Edinburgh in 1973, Hayes held an academic appointment in the Department of Computer Science at the University of Essex (1973–80). He immigrated to the US in 1981, to become the Luce Professor of Cognitive Science in the Departments of Computer Science, Philosophy and Psychology at the University of Rochester (1981–85), where he was Chair of the Cognitive Sciences Cluster. In 1985, he left Rochester for California, to join the Schlumberger Palo Alto Research Center (1985–87), Xerox-PARC (1987–90) and the Microelectronics and Computer Technology Corporation (1991–92), where he was Director of the CYC-West project. During this period, he also held a number of parallel positions as Visiting Scholar CSLI, Stanford University and Consulting Professor Department of Computer Science, Stanford (1985–94). In 1992 he became a research professor in the Departments of Computer Science and Philosophy, and the Beckmann Institute, University of Illinois at Urbana-Champaign (1992–96). In 1996, he became Senior Research Scientist at IHMC (1996–2009) and John C. Pace Distinguished Scholar at the University of West Florida (1996–2001). He became Senior Research Scientist Emeritus at IHMC in 2009.