有哪些知名的女程序员？ 第1页

在计算机科学史上留名的女性

Ada Lovelace（1815.12.10-1852.11.27）

Ada Lovelace，著名英国诗人拜伦之女，数学家。1842年，她编写了历史上首款电脑程序，并于1843年公布了世界上第一套算法。Ada被认为是计算机程序的创始人，建立了循环和子程序的概念。为了纪念她对现代电脑与软件工程所产生的重大影响，美国国防部将耗费巨资、历时近20年研制成功的高级程序语言命名为Ada语言，被公认为是第四代计算机语言的主要代表。

Grace Hooper（1906.12.9-1992.1.1）

Grace Hooper，杰出的计算机科学家、数学家，Cobol语言设计者（被称为Cobol之母），美国海军将军。她是耶鲁大学历史上第一位女数学博士（1934年得到学位），她设计了第一个编译程序（1952年，编译程序A-O），发现了世界上第一个BUG（创造出了BUG这个著名的计算机术语，1946年）。

1971年，为了纪念现代数字计算机诞生25周年，美国计算机学会特别设立了“Grace Hooper”奖，颁发给每年最优秀的30岁以下的青年计算机工作者，这个奖项也是全球电脑界“少年英雄”的标志。1980年，Hooper获得国际IEEE组织颁发的首届计算机先驱奖。

Katherine Johnson（1918.8.26-2020.2.24）

Katherine Johnson，数学家，航空航天科学家。她于1953年至1986年在NASA工作，岗位是“computer”（计算员）——为美国太空飞行任务计算轨迹，她出色的人工计算工作对美国早期太空计划的成功起到重要作用，她还致力于推广计算机在航天领域的使用。2015年，Katherine被授予美国总统自由勋章。根据她的事迹改编的电影《隐藏人物》，获得第89届奥斯卡金像奖最佳影片的提名。

Margaret Hamilton（1936.8.17- ）

Margaret Hamilton，计算机科学家，系统工程师和企业家。她曾担任MIT仪器实验室软件工程部的主管，帮助该实验室开发阿波罗计划中航天器搭载的飞行软件，从而防止了阿波罗11号登月计划中辍。她开创了异步软件、优先调度和超可靠的软件设计理念。她在2003年获NASA杰出太空行动奖。

Anita Borg（1949.1.17-2003.4.6）

Anita Borg，计算机科学家，邮件列表Systers发明人，基于网络和邮件的早期虚拟交流系统MECCA发明人。她致力于推动女性参与科学研究，创立了Anita Borg妇女与科技研究所，Grace Hooper女性计算机科学大会。

Sophie Wilson（1957- ）

Sophie Wilson，计算机科学家，她设计了橡子微型计算机，开发了 BBC Basic 语言，ARM 体系架构，现在ARM嵌入式系统被广泛应用在智能设备中。2011年，她被Maximum PC 杂志评为“技术史上最重要的15位女性”。

Shafi Goldwasser（1958- ）

Shafi Goldwasser，计算机科学家，2012年图灵奖获得者（与另一位同事Silvio Micali共享这一奖项）。她是麻省理工机电工程与计算机科学系的RSA教授，同时还是以色列魏茨曼科学研究所的算机科学与应用数学教授。她与Silvio 在“在线交易安全性”方面的开拓性成果，被公认为"奠定了现代密码学理论的基础"，这引发了当今安全技术的发展，比如加密和数字签名。

Mary Lou Jepsen（1965- ）

Mary Lou Jepsen，光学、成像显示和计算机硬件领域最重要的工程师和科学家之一，任职于麻省理工学院和澳大利亚皇家墨尔本理工学院，同时还是Openwater公司的创始人兼CEO。她推动了光学和物理学的可能性，推动新型设备的创新和制造，在头戴式显示器、HDTV、便携式计算机和投影仪产品中的贡献得到全球认可。2008年，她被《时代》杂志评为“年度全球100个最具影响力的人”；2013年，被CNN提名年度“十大科技思想家”。她拥有200多项专利。

-End-

推荐阅读

========

如果你觉得这个回答不错，欢迎一键三连 @人民邮电出版社！