阿倫·圖靈（AlanTuring）——計算機科學理論創始人。1912年出生於英國倫敦，1954年去世。1936年發表論文“論可計算數及其在判定問題中的應用”，提出圖靈機理論。1950年發表論文“計算機與智能”，闡述了計算機可以具有智能的想法，提出圖靈測試。1966年，爲紀念圖靈的傑出貢獻，ACM（國際計算機協會）設立圖靈獎。
馬文·明斯基（MarnivLee Minsky）——人工智能之父，框架理論的創立者，首位獲得圖靈獎的人工智能學者。1927 年出生於美國紐約。1951年提出思維如何萌芽並形成的基本理論。1956年Dartmouth會議的發起人之一。1958年在MIT創建世界上第一個人工智能實驗室。1969年獲得圖靈獎，1975年首創框架理論。
約翰·麥卡錫（John McCarthy）——人工智能之父，LISP語言（一種人工智能語言）的發明人，首次提出AI的概念。1927年出生於美國波士頓。1956年發起Dartmouth會議，並提出了“人工智能”的概念。1958年與明斯基一起創建世界上第一個人工智能實驗室，併發明а-β剪枝算法。1959年開發LISP語言，開創邏輯程序研究，用於程序驗證和自動程序設計。1971年獲得圖靈獎。
赫伯特·西蒙（HerbertA.Simon）——符號主義學派的創始人，愛好廣泛的全能科學家，中國科學院外籍院士。1916年出生於美國的威斯康辛州。1943年在匹茲堡大學獲政治學博士學位，1969年因心理學方面的貢獻獲得傑出科學貢獻獎。1975年和他的學生艾倫·紐厄爾共同獲得圖靈獎。1978年獲得諾貝爾經濟學獎。1986年因行爲學方面的成就獲得美國全國科學家獎章。
20世紀50年代至60年代初開發了世界上最早的啓發式程序“邏輯理論家”LT，證明了《數學原理》第二章中的全部定理，共計52個，開創了機器定理證明這一新的學科領域。1957年開發了IPL（Information Processing Language）語言，是最早的AI語言。1960年開發了“通用問題求解系統”GPS。1966年開發了最早的下棋程序之一MATER。1970年發展與完善了語義網絡的概念和方法。1970年提出了“物理符號系統假說”。70年代提出決策過程模型，該模型成爲DSS(決策支持系統)的核心內容。
艾倫·紐厄爾(AllenNewell)——符號主義學派的創始人之一，西蒙的學生與同事，1975年與西蒙同獲圖靈獎。
愛德華·費根鮑姆(EdwardA.Feigenbaum)——知識工程的提出者，大型人工智能系統的開拓者。
馮諾依曼--提到計算機之父，大多數人都會想到馮·諾依曼，然而馮·諾依曼自己卻把計算機之父的榮譽頒給阿蘭·圖靈，今年的端午節，就是這位馮·諾依曼眼中的計算機之父誕辰100週年紀念日，生於1912年的圖靈，在整個計算機歷史畫卷中，無疑留下了一抹濃重的色彩，圖靈被後人稱爲“計算機科學之父、人工智能之父”。而其對德國英格瑪情報的破譯，對二戰戰局的影響也不容忽視。