博客
关于我
2008年图灵奖--芭芭拉·利斯科夫简介
阅读量:142 次
发布时间:2019-02-28

本文共 743 字,大约阅读时间需要 2 分钟。

大家好,我是执念斩长河。今天我们要讲述2008年图灵奖获得者芭芭拉·利斯科夫。她的成就不仅在于为计算机程序设计语言与系统理论做出创造性贡献,更在于她在计算机科学领域树立了重要地位。读完这篇文章,您可以了解到以下内容:

  • 师从麦卡锡
  • 开发维纳斯
  • 抽象数据类型的提出者
  • 利斯科夫的主要著作

利斯科夫生于1939年11月7日,出生于美国洛杉矶。1961年她在加州大学伯克利分校获得了计算机科学学士学位。虽在加州大学伯克利分校和普林斯顿大学申请研究生时遭到拒绝,但她并未放弃。她前往哈佛大学当程序员,原本以为工作相对简单,但她很快发现这份工作的难度远超她的想象。最终,她前往斯坦福大学学习,师从著名计算机科学家麦卡锡。

1986年,利斯科夫以《一个可以处理国际象棋残局的计算机程序》获得了哈佛大学的博士学位。然而,她的求职之路并非一帆风顺。由于当时市场对擅长国际象棋的人才需求不高,她不得不寻找其他工作机会。在MITRE开发分时操作系统的过程中,她最终不负众望,开发出了“维纳斯”——一个交互式分时操作系统。此外,她提出了抽象数据类型的概念,这一理论至今在计算机科学教育中仍被广泛应用。

利斯科夫的著作中最为人熟知的一本是《抽象数据类型与算法设计》。这一专著书在计算机科学领域具有重要的地位,深刻影响了后来的数据结构与算法设计。

利斯科夫的职业生涯充满了挑战与突破。她不仅是一位杰出的计算机科学家,更是一位坚韧不拔的女性。尽管面临性别歧视和职业挑战,她始终坚持自己的科学追求,最终取得了举世瞩目的成就。

在技术发展的道路上,利斯科夫的贡献不仅体现在技术层面,更体现在她对计算机科学领域的深刻理解与创新。她的故事激励着一代代年轻的计算机科学家,令我们铭记:在科技的道路上,只要坚持信念,就永不言弃。

转载地址:http://olrd.baihongyu.com/

你可能感兴趣的文章
ng build --aot --prod生成文件报错
查看>>
ng 指令的自定义、使用
查看>>
nghttp3使用指南
查看>>
Nginx
查看>>
nginx + etcd 动态负载均衡实践(三)—— 基于nginx-upsync-module实现
查看>>
nginx + etcd 动态负载均衡实践(二)—— 组件安装
查看>>
nginx + etcd 动态负载均衡实践(四)—— 基于confd实现
查看>>
Nginx + Spring Boot 实现负载均衡
查看>>
Nginx + uWSGI + Flask + Vhost
查看>>
Nginx - Header详解
查看>>
Nginx - 反向代理、负载均衡、动静分离、底层原理(案例实战分析)
查看>>
nginx 1.24.0 安装nginx最新稳定版
查看>>
nginx 301 永久重定向
查看>>
nginx css,js合并插件,淘宝nginx合并js,css插件
查看>>
Nginx gateway集群和动态网关
查看>>
Nginx Location配置总结
查看>>
Nginx log文件写入失败?log文件权限设置问题
查看>>
Nginx Lua install
查看>>
nginx net::ERR_ABORTED 403 (Forbidden)
查看>>
Nginx SSL私有证书自签,且反代80端口
查看>>