女性历史月：计算机科学先驱

艾达·洛芙莱斯——她创建了第一个旨在由她和查尔斯·巴贝奇提出的分析机执行的算法。
罗莎·彼得——递归理论的先驱。她发表了多部重要著作，其中就包括撰写了计算机理论中关于递归函数的权威著作。
芭芭拉·里斯科夫——里斯科夫替换原理的提出者；图灵奖获得者；她编写了两种编程语言；她的软件方法论和语言设计促成了面向对象编程的诞生。
凯瑟琳·约翰逊——以其在计算机天文导航方面的精准性而闻名，她在美国国家航空航天局（NASA）从事技术工作长达数十年。她被授予总统自由勋章。当NASA采用第一批电子计算机时，同事们坚持要她先验证计算机的准确性才敢飞行。她的能力和精准的声誉帮助建立了人们对这项新技术的信心。
格蕾丝·霍珀——发明了最早的编译器相关工具之一，并推广了机器无关编程语言的概念。她的思想和编译器方面的工作启发了COBOL语言的诞生。
格雷特·赫尔曼(Grete Hermann) ——她的博士论文《多项式理想理论中的有限步问题》是计算机代数的基石。她提出的主分解算法至今仍在使用。
琳恩·康威(Lynn Conway )——发明了广义动态指令处理，这是乱序执行的关键技术，现代计算机处理器利用该技术来提升性能。
阿黛尔·戈德堡(Adele Goldberg) ——图形用户界面 (GUI) 的先驱；开发了 Smalltalk-80，并引入了在图形显示屏幕上重叠窗口的编程环境。
弗朗西丝·艾伦(Frances Allen) ——优化编译器领域的先驱；她的论文《程序优化》奠定了计算机程序系统分析和转换的概念基础；她的论文《控制流分析》和《程序优化基础》确立了数据流分析和优化的区间；她是图灵奖获得者和 IBM 院士。
塞琳娜·托巴科瓦拉 (Selina Tobaccowala) ——作为工程副总裁联合创立了 Evite，彻底革新并引领了在线邀请函管理的发展。她领导工程团队开发了 TicketMaster 和 SurveyMonkey 等产品。
黛博拉·埃斯特林——率先开发了用于收集和分析物理世界及其居民实时数据的移动和无线系统。康奈尔科技学院副院长。
张丽霞——设计了资源预留协议，率先开发了命名数据网络，并创造了“中间盒”一词。（防火墙就是一个中间盒）IEEE互联网奖获得者，IEEE会士。美国计算机协会会士。
海伦·格雷纳
辛西娅·布雷泽尔 (Cynthia Breazeal) ——iRobot联合创始人，设计了第一款Roomba扫地机器人。现任CyPhy Works首席技术官。——社交机器人和人机交互领域的先驱。她设计的机器人被用于研究机器人的社会认知和心智理论能力，并将其应用于人机协作。——
迪维娅·马尼安(Divya Manian) ——开放网络标准的先驱和倡导者。HTML5 Boilerplate框架的共同创建者，W3C成员，《时代》杂志科技专栏作家。——
梅芙·休斯顿(Mave Houston )——CapitalOne旗下USERlabs的创始人和负责人。快速失败和频繁创新的先驱。8岁就开始学习编程。——
索菲·威尔逊(Sophie Wilson) ——博通公司总监。被评为科技史上15位最重要的女性之一。设计了Acorn微型计算机。设计了ARM处理器的指令集，至今仍应用于智能手机。——
米歇尔·西蒙斯(Michelle Simmons )——创立了第一家量子计算公司。她正引领着建造第一台量子计算机的竞赛。
Coraline Ada Ehmke——起草了贡献者公约，现在已被包括 Linux 在内的数万个软件项目使用。

原文发布于 Medium：https://medium.com/@cherp/incredible-women-who-have-pioneered-computer-science-7178df826c8