酷应用

【3.8 特辑】这些美得发光的女性，竟然都是程序员，你想认识下吗？

百家作者：又拍云 2022-03-08 12:35:50

3 月 8 日国际劳动妇女节，是庆祝妇女在经济、政治和社会等领域作出的重要贡献和取得的巨大成就而设立的节日。对于这个节日我们可以说是耳熟能详了。而计算机行业，是一个普遍被认为由男性主导的行业。但你知道吗，其实这个行业诞生了多位巾帼不让须眉的杰出女性，正是她们为推动这个行业的进步作出了巨大的贡献。正值第 112 个国际妇女节国际劳动妇女节，我们来一起认识一下她们吧。

世界第一位程序员 Ada Lovelace

Ada Lovelace(1815 - 1852)，英国著名诗人拜伦之女，从小就展现了过人的数学天赋。在 1842 年至 1843 年间，她用 9 个月时间翻译了意大利数学家 Federico Luigi 为查尔斯巴贝奇设计的机械式计算机所写的程序设计书。在译文里，她附加了许多注记，详细地说明了用计算机进行伯努利数的运算方式。因此她被认为是世界上第一个电脑程序员。她曾经预言道：这个机器未来可以用来排版、编曲或是各种更复杂的用途。

计算机软件的第一夫人 Grace Hopper

Grace Hopper (1906-1992)，计算机科学先驱。Grace Hopper 是抓住了计算机历史上第一个 bug 的人，也是最早的计算机之一哈佛 Mark I 的第一批程序员。同时 Grace Hopper 为第一个程序设计语言设计了编译器。她还是 COBOL 语言的设计者，被称为 COBOL 之母。COBOL 是第一批高级程序设计语言之一，被广泛运用于大型机和小型机电脑的高级商业程序设计。但是她自己喜欢被称为 COBOL 祖母，因为 COBOL 语言实际上是她设计的原型语言 FLOW-MATIC 的派生。除了语言设计之外，她在语言标准化方面也做出了奠基性的贡献。

第一位女性图灵奖得主 Frances Allen

IBM 终生院士(IBM Fellow Emerita)Frances Allen 获得了 2006 年的图灵奖。ACM 的官方声明表示该奖项是为了表彰 Frances 在编译器优化的理论和实践方面做出的开创性贡献，她的工作奠定了现代优化编译器和自动并行化执行的基础。

Frances 毕业于阿尔班尼州立师范，并且获得了密西根大学的数学硕士。她原本的梦想是当一名教师，但是为了偿还学生贷款，她加入了 IBM Watson 研究中心。Frances 在 IBM 时负责教导工程师们使用 Fortran，但是她觉得当时的编译器过于原始，于是着手进行了编译器的优化。这让 IBM 推出了世界上第一款 Fortran 优化编译器。同时 1970 年到 1980 年间她发表了一系列经典论文，包括 1970 年的《Control Flow Analysis》和《A Basis of Program Optimization 》奠定了基于有向图的程序优化方法和基于区间的优化方法，1971 年的《A Catalog of Optimizing Transformations》更是当时系统执行优化变换的顶尖论文。除了进行算法优化，Frances 在领导开发 IBM 的 STRETCH 系统时，还推出了 IBM 的第一个符号调试器优化程序。

互联网之母 Radia Perlman

Radia Perlman，MIT博士，Sun 公司杰出工程师。1983 年 Perlman 发明了 Spanning Tree Algorithms 生成树算法，并研制出了用于网桥(交换机) 设备的 Spanning Tree Protocol(STP) 生成树协议。生成树协议保证了数据包能够准确传递到网络中的任意网段，被 IEEE 定为网桥(交换机) 技术的标准协议(802.1d)。作为互联网最重要基础之一，生成树协议让局域网和广局域网能够开始进行大规模的联接，因此 Radia Perlman 被誉为“互联网之母”。

除此外 Perlman 还对 IS-IS，OSPF 链路状态路由协议的算法、标准及发展作出了重大贡献。她还著有两部对网络有重要意义的作品《Interconnections: Bridges, Routers, Switches, and Internetworking Protocols》和《 Network Security: Private Communication in a Public World》。

密码学家王小云

中国科学院院士王小云，她多年从事密码理论及相关数学问题研究，提出了密码哈希函数的碰撞攻击理论，即模差分比特分析法，破解了包括 MD5、SHA-1 在内的 5 个国际通用哈希函数算法。她还将比特分析法进一步应用于带密钥的密码算法包括消息认证码、对称加密算法、认证加密算法的分析，给出系列重要算法 HMAC-MD5、MD5-MAC、SIMON、Keccak-MAC 等重要分析结果。

王小云在高维格理论与格密码研究领域，给出了格最短向量求解的启发式算法二重筛法以及带 Gap 格的反转定理等成果，设计了我国哈希函数标准 SM3，这一标准在 2018 年 10 月正式成为 ISO/IEC 国际标准，并被广泛应用于金融、交通、国家电网等重要经济领域。

CLU 与 Argus 语言发明人 Barbara Liskov

Barbara Liskov 生于1939年，是 MIT 教授、美国工程院院士。1968 年她在斯坦福大学获得计算机博士学位，也是美国历史上第一位计算机女博士。因在计算机编程语言和编程方法、分布式系统等领域的贡献，Barbara Liskov 分别在 2004 年和 2008 年获得冯诺依曼奖和图灵奖，她也是第二位获得图灵奖的女性。ACM网站正式的颁奖理由是“For contributions to practical and theoretical foundations of programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing.”即对编程语言和系统设计的实践与理论基础，尤其是数据抽象、容错和分布式计算方面的贡献。

除去以上几位，计算机历史上还有更多杰出女性，信息检索与自然语言处理的先驱 Karen Sparck Jones(1935-2007)，操作系统和家庭计算机的先驱 Mary Allen Wilkes，最早的一批计算机游戏程序员 Carol Shaw 和 Roberta Williams，苹果电脑用户界面的重要设计师 Susan Kare，著名的算法专家 Eva Tardos，Smalltalk 的设计者之一 Adele Goldberg，软件架构专家 Mary Shaw，分布式算法专家 Nancy Lynch，ACM 前主席 Barbara Simons，C++ 最初研发小组的项目经理 Barbara Moo，中国计算机界的女院士夏培肃、杨芙清等等。

我们或许没有听过她们的名字，但是她们为这个行业作出的贡献值得我们的尊敬和景仰。当然我们也不能忘记正在这个行业内工作着，正在为这个行业的发展贡献力量的女性从业者们。在这个为劳动女性创立的节日里，让我们一起对身边的工作女性说一声：“节日快乐。”