圖靈。
總的來説，計算機科學理論的奠基人是圖靈。
圖靈是現代計算機設計思想的創始人,1936年，圖靈向倫敦權威的數學雜誌投了一篇論文，題為《論數字計算在決斷難題中的應用》。在這篇開創性的論文中，圖靈給“可計算性”下了一個嚴格的數學定義，並提出著名的“圖靈機”(Turing Machine)的設想。“圖靈機”不是一種具體的機器，而是一種思想模型,這一理論奠定了整個現代計算機的理論基礎。
1945年，以馮·諾依曼為核心的ENIAC機研製組發表了一個全新的"存儲程序通用電子計算機方案"--EDVAC（Electronic Discrete Variable AutomaticCompUter的縮寫）． EDVAC方案明確奠定了新機器由五個部分組成，包括：運算器、邏輯控制裝置、存儲器、輸入和輸出設備，並描述了這五部分的職能和相互關係．EDVAC機還有兩個非常重大的改進，即：（1）採用了二進制，不但數據採用二進制，指令也採用二進制；（2建立了存儲程序，指令和數據便可一起放在存儲器裏，並作同樣處理．簡化了計算機的結構，大大提高了計算機的速度。1946年7，8月間，馮·諾依曼和戈爾德斯廷、勃克斯在EDVAC方案的基礎上，為普林斯頓大學高級研究所研製IAS計算機時，又提出了一個更加完善的設計報告《電子計算機邏輯設計初探》．以上兩份既有理論又有具體設計的文件，首次在全世界掀起了一股"計算機熱"，它們的綜合設計思想，便是著名的"馮·諾依曼機"，其中心就是有存儲程序原則--指令和數據一起存儲．這個概念被譽為‘計算機發展史上的一個里程碑"．
阿蘭·圖靈，全名阿蘭·麥席森·圖靈，被譽為“計算機科學之父”和“人工智能之父”。圖靈本人是個數學家、密碼學家，是現代計算機邏輯結構的奠基者。
1936年，圖靈向倫敦權威的數學雜誌投了一篇論文，題為“論數字計算在決斷難題中的應用”。在這篇論文中，圖靈給“可計算性”下了一個嚴格的數學定義，並提出著名的“圖靈機”(TuringMachine)的設想。所謂圖靈機其實就是完完全全的理論模型，計算機從一個無限長的紙帶中依次讀取信息並執行命令，説白了就是依次的讀取0和1（其實當時圖靈説的是有各種顏色的方塊，可見當時圖靈的設想並不是純二進制的）。而這些0和1就代表了每一個最簡單的步驟，按照這些步驟就能模擬人類的最基本思維，實現簡單的指令。與當時的計算機不同，圖靈機是一個通用的模型，不針對任何具體問題，也就是一種適用於絕大部分問題的通用計算機邏輯模型。
1939年世界上的第一台電子計算機ABC問世，第一次讓圖靈機成為現實，而之後的計算機上果真出現了紙帶這樣的設備（當然，不是圖形設想的那種無限長紙帶，那是不可能的）。
其實圖靈機的設想最重要的就是指明瞭計算機要如何“思維”，圖靈機的思維方式其實和現代計算機的工作方式是基本相同的。馮·諾依曼原理雖然統一了計算機的軟硬件系統，但是最重要的一點就是計算機在邏輯上如何運作並沒有説明；而這正好是圖靈機的內涵。可以認為圖靈機的構想是計算機科學的起點，而馮·諾依曼原理則是計算機工程的重點。
不過對於我們現代人來説，與圖靈最出名的兩個東西是圖靈獎和圖靈測試。所謂圖靈測試就是當時圖靈提出的檢驗計算機是否有“智能”的方法。具體來説就是由人類主考官分別向一個計算機測試者和人類測試者提出問題，如果主考官不能在若干次問題後判斷出哪個是人類，就説明這個計算機是有“智能”的。因此圖靈也被稱為“人工智能之父”。
圖靈獎則是由美國計算機協會創立的一個獎項授予在計算機技術領域做出突出貢獻的個人，而這些貢獻必須對計算機業有長遠而重要的影響，獎金為25萬美元，由Google和Intel贊助。被譽為計算機領域的諾貝爾獎。
