总的来说,计算机科学理论的奠基人是图灵.
图灵是现代计算机设计思想的创始人,1936年,图灵向伦敦权威的数学杂志投了一篇论文,题为《论数字计算在决断难题中的应用》.在这篇开创性的论文中,图灵给“可计算性”下了一个严格的数学定义,并提出著名的“图灵机”(Turing Machine)的设想.“图灵机”不是一种具体的机器,而是一种思想模型,这一理论奠定了整个现代计算机的理论基础.
1945年,以冯·诺依曼为核心的ENIAC机研制组发表了一个全新的"存储程序通用电子计算机方案"--EDVAC（Electronic Discrete Variable AutomaticCompUter的缩写）． EDVAC方案明确奠定了新机器由五个部分组成,包括：运算器、逻辑控制装置、存储器、输入和输出设备,并描述了这五部分的职能和相互关系．EDVAC机还有两个非常重大的改进,即：（1）采用了二进制,不但数据采用二进制,指令也采用二进制；（2建立了存储程序,指令和数据便可一起放在存储器里,并作同样处理．简化了计算机的结构,大大提高了计算机的速度.1946年7,8月间,冯·诺依曼和戈尔德斯廷、勃克斯在EDVAC方案的基础上,为普林斯顿大学高级研究所研制IAS计算机时,又提出了一个更加完善的设计报告《电子计算机逻辑设计初探》．以上两份既有理论又有具体设计的文件,首次在全世界掀起了一股"计算机热",它们的综合设计思想,便是著名的"冯·诺依曼机",其中心就是有存储程序原则--指令和数据一起存储．这个概念被誉为‘计算机发展史上的一个里程碑"．