Pat Hayes

Summary

Pat Hayes is a human^[1]. His place of birth was Newent^[2]. He was born on +1944-08-21T00:00:00Z^[3]. He worked as a computer scientist^[4], painter^[5], and university teacher^[6]. He ranks in the top 0.73% of human entities by monthly Wikipedia readership (7 views/month, #7,296 of 1,000,298).^[7]

Key Facts

• Pat Hayes was born in Newent^[2].
• Pat Hayes was born on +1944-08-21T00:00:00Z^[3].
• Pat Hayes held citizenship in United States^[8].
• Pat Hayes worked as a computer scientist^[4].
• Pat Hayes worked as a painter^[5].
• Pat Hayes worked as a university teacher^[6].
• Pat Hayes was employed by Florida Institute for Human and Machine Cognition^[9].
• Pat Hayes was employed by University of Essex^[10].
• Pat Hayes was employed by University of Illinois Urbana–Champaign^[11].
• Among Pat Hayes's employers was University of Rochester^[12].
• Pat Hayes's education included a stint at University of Edinburgh^[13].
• Pat Hayes's education included a stint at University of Cambridge^[14].
• Pat Hayes's education included a stint at Kingsbury Green Academy^[15].
• Pat Hayes's doctoral advisor was Bernard Meltzer^[16].
• Pat Hayes received the AAAI Fellow^[17].
• Pat Hayes received the Fellow of the Cognitive Science Society^[18].
• Pat Hayes was a member of Association for the Advancement of Artificial Intelligence^[19].
• Pat Hayes was influenced by John McCarthy^[20].
• Pat Hayes is recorded as male^[21].
• Pat Hayes's instance of is recorded as human^[22].
• Pat Hayes supervised Jörg Siekmann as a doctoral student^[23].
• Pat Hayes supervised Anthony G. Cohn as a doctoral student^[24].
• Pat Hayes's family name is recorded as Hayes^[25].
• Pat Hayes's given name is recorded as Patrick^[26].
• Pat Hayes's academic thesis is recorded as Semantic trees : new foundations for automatic theorem-proving^[27].

Body

Origins and Family

Pat Hayes's place of birth was Newent^[2]. He was born on +1944-08-21T00:00:00Z^[3].

Education

Educated at University of Edinburgh^[13], a public university^[28], in United Kingdom^[29], founded in 1583^[30], headquartered in Edinburgh^[31]; University of Cambridge^[14], a collegiate university^[32], in United Kingdom^[33], founded in 1209^[34], headquartered in Cambridge^[35]; and Kingsbury Green Academy^[15], a school^[36], in United Kingdom^[37], founded in 1663^[38]. Pat Hayes's doctoral advisor was Bernard Meltzer^[16].

Career and Affiliations

Recorded occupations include computer scientist^[4], painter^[5], and university teacher^[6]. Employers include Florida Institute for Human and Machine Cognition^[9], a research institute^[39], in United States^[40]; University of Essex^[10], a public university^[41], in United Kingdom^[42], founded in 1965^[43], headquartered in Colchester^[44]; University of Illinois Urbana–Champaign^[11], a public research university^[45], in United States^[46], founded in 1867^[47]; and University of Rochester^[12], a university^[48], in United States^[49], founded in 1850^[50], headquartered in Rochester^[51]. Doctoral students include Jörg Siekmann^[23], a university teacher^[52], b. 1941^[53], of Germany^[54] and Anthony G. Cohn^[24], a researcher^[55], b. 1954^[56], of United Kingdom^[57], awarded the Fellow of the Royal Academy of Engineering^[58].

Recognition

Awards received include AAAI Fellow^[17], a science award^[59], in United States^[60] and Fellow of the Cognitive Science Society^[18].

Why It Matters

Pat Hayes ranks in the top 0.73% of human entities by monthly Wikipedia readership (7 views/month, #7,296 of 1,000,298).^[7] He is known by 5 alternative names across languages and contexts.^[61]

His notable doctoral advisees include Jörg Siekmann^[62], a university teacher^[63], b. 1941^[64], of Germany^[65].

FAQs

Where was Pat Hayes born?

Born in Newent^[2], Pat Hayes…

What did Pat Hayes do for work?

Pat Hayes worked as computer scientist^[4], painter^[5], and university teacher^[6].

Where did Pat Hayes go to school?

Pat Hayes was educated at University of Edinburgh^[13], University of Cambridge^[14], and Kingsbury Green Academy^[15].

What awards did Pat Hayes receive?

Honors received include AAAI Fellow^[17] and Fellow of the Cognitive Science Society^[18].