一、基础理论奠基者

查尔斯·巴贝奇

- 提出机械分析引擎概念，设计可重用程序的机械装置，被视作计算机程序设计的先驱。

乔治·布尔

- 创立布尔代数，为计算机逻辑运算奠定基础。

艾伦·图灵

- 提出图灵机模型，奠定现代计算机科学理论框架。

二、编程语言与工具创新

安德斯·海尔斯伯格

- 设计Turbo Pascal编译器，开创了Delphi、C等语言的先河。

拉斯·巴克

- 作为Java（HotSpot）和JavaScript（V8）等语言的开发者，推动虚拟机技术发展。

马丁·福勒

- 领导敏捷开发方法，推动面向对象设计原则的普及。

三、软件工程与方法论

林惠民

- 设计通用进程代数验证工具，提出符号互模拟理论，解决并发系统形式化验证难题。

董韫美

- 主持研发国内首款实用高级程序语言BCY，提出上下文无关语言递归函数理论，推动软件复用技术。

冯登国

- 在网络安全领域提出可信计算理论，解决动态资源调度与安全认证问题。

四、领域细分专家

分布式系统

- 周巢尘院士提出时段演算，为实时系统设计提供理论支撑。

高性能计算

- 陈国良院士领导团队开发曙光并行机，推动国产高性能计算平台发展。

人工智能与大数据

- 于璠博士主导华为AI系统核心算法设计，发表50余篇相关论文。

五、教育与人才培养

何积丰：

华东师范大学教授，长期从事形式化方法研究，培养大量软件领域人才。

以上人物覆盖了从基础理论到应用实践的多个层面，体现了软件领域科学家在技术创新与工程实践中的关键作用。