政务司司长中不是格雷斯·霍珀的重要女性(2018年)

2020-07-24 17:50:08

我听腻了格蕾丝·霍珀、玛格丽特·汉密尔顿和艾达·洛夫莱斯。我们就不能想一次别人吗?我继续按照一些相当武断的规则汇编了一批非常重要的女性:

有一件具体的事情你可以指着说“那个。这就是他们的贡献。“。这遗漏了许多真正有资格的人,他们做出了很多一般性的贡献,但我想把这份名单固定在原声片段上。

他们的贡献是技术性的,而不是社会或政治的。这意味着不会有像“第一位女性博士”(抱歉,凯勒姐姐)那样的里程碑,也不会有与我们这个领域的现代地狱脱节的孤儿作品。

他们做了重大的“历史性”或基础性工作,我武断地认为这是英国最后一次赢得欧洲电视剧奖,也就是1997年。当然,有像斯蒂芬妮·韦里奇这样的现代巨人,也有像埃米娜·托拉克这样的后起之秀,但他们都超出了范围。

当我喜欢的时候我会破例,因为我可以。主要的警告是:1)这些人中的很多人在我的专业之外做出了贡献,所以我可能犯了一大堆错误,2)我漏掉了很多合格的人,因为人太多了,我变得懒惰了。把这看作是一个采样器,而不是一个详尽的列表。

计算学习理论的先驱。在ML中使用“积极结果”。已建立成员查询学习。

发明了利斯科夫替代原理。创建了CLU编程语言,对现代面向对象和多范例语言产生了重大影响。发明了抽象数据类型。

“系统管理之母”。撰写了关于Unix系统管理员的所有主要书籍。

演示了形式逐步求精在大规模应用中的实际应用。与利斯科夫共同创建了LSP。

需求工程的主要扩展。开发了建模特征交互的形式化方法。破坏了Chord协议。修复了Chord协议。写了一本关于迈克尔·杰克逊的书。