加载中…
个人资料
前沿博客
前沿博客
  • 博客等级:
  • 博客积分:0
  • 博客访问:52,632
  • 关注人气:2
  • 获赠金笔:0支
  • 赠出金笔:0支
  • 荣誉徽章:
相关博文
推荐博文
谁看过这篇博文
加载中…
正文 字体大小:

教授芭芭拉liskov - 2008年图灵奖得主

(2009-03-31 16:35:00)
标签:

杂谈

教授芭芭拉Liskov - 2008年图灵奖得主

Monday, March 16th, 2009 星期一, 2009年3月16号

Barbara Liskov, (born Barbara Jane Huberman in 1939), is a computer scientist.芭芭拉Liskov , (芭芭拉简胡伯曼出生于1939年) ,是一名计算机科学家。 Sheis currently the Ford Professor of Engineering in the MIT School ofEngineering’s Electrical Engineering and Computer Science departmentand an Institute Professor at the Massachusetts Institute of Technology.她目前是福特教授工程在麻省理工学院工程学院的电气工程和计算机科学系和研究所教授麻省理工学院。 Sheearned her BA in mathematics at the University of California, Berkeleyin 1961, and became the first woman in the United States to be awardeda Ph.D.她获得了数学学士学位在美国加利福尼亚大学伯克利分校于1961年,并成为了第一位在美国被授予博士学位 from a computer science department, in 1968 from Stanford University.从计算机科学系,在1968年从斯坦福大学。 The topic of her Ph.D.专题博士学位 thesis was a computer program to play chess end games.论文是一种计算机程序,以下棋结束比赛。

Liskovhas led many significant projects, including the Venus operatingsystem, a small, low-cost and interactive timesharing system; thedesign and implementation of CLU, the first programming language tosupport data abstraction; Argus, the first high-level language tosupport implementation of distributed programs; and Thor, anobject-oriented database system. Liskov已导致许多重大项目,包括金星操作系统,一个小型,低成本和交互式分时系统;设计和执行CLU ,第一编程语言,以支持数据抽象;守卫的第一次高级别语言支持实施分布式程序;和Thor ,一个面向对象数据库系统。 With Jeannette Wing, she developed a particular definition of subtyping, commonly known as the Liskov substitution principle.与珍妮特翼,她制定了一个特别的定义亚型,通常称为Liskov替换原则。 Sheleads the Programming Methodology Group at MIT, with a current researchfocus in Byzantine Fault Tolerance and distributed computing.她领导的编程方法集团在麻省理工学院,目前的研究重点在拜占庭容错和分布式计算。

Liskovis a member of the National Academy of Engineering and a fellow of theAmerican Academy of Arts and Sciences and of the Association forComputing Machinery (ACM). Liskov的成员国家工程院院士和美国艺术与科学学院和美国计算机协会(计算机) 。 In2004 she won the John von Neumann Medal for “fundamental contributionsto programming languages, programming methodology, and distributedsystems”.在2004年她赢得了约翰冯诺依曼奖章“基本贡献的编程语言,编程方法和分布式系统” 。 She is the author of three books and over a hundred technical papers.她是三本书的作者和一百多篇技术论文。

Liskovreceived the 2008 Turing Award from the ACM for her work in the designof programming languages and software methodology that led to thedevelopment of object-oriented programming. Liskov收到了2008年图灵奖由计算机对她的工作的设计,编程语言和软件的方法,导致了发展的面向对象编程。 Specifically, Liskov developed two programming languages, CLU in the 1970s and Argus in the 1980s.具体来说, Liskov开发了两个编程语言, CLU在1970年代和阿古斯在20世纪80年代。 TheACM cited her contributions to the practical and theoreticalfoundations of “programming language and system design, especiallyrelated to data abstraction, fault tolerance, and distributedcomputing.”她列举了计算机的实际贡献和理论基础的“编程语言和系统设计,特别是有关数据的抽象,容错和分布式计算。 ”

0

阅读 评论 收藏 转载 喜欢 打印举报/Report
前一篇:opends
后一篇:网上赌场酒吧
  • 评论加载中,请稍候...
发评论

    发评论

    以上网友发言只代表其个人观点,不代表新浪网的观点或立场。

    < 前一篇opends
    后一篇 >网上赌场酒吧
      

    新浪BLOG意见反馈留言板 电话:4000520066 提示音后按1键(按当地市话标准计费) 欢迎批评指正

    新浪简介 | About Sina | 广告服务 | 联系我们 | 招聘信息 | 网站律师 | SINA English | 会员注册 | 产品答疑

    新浪公司 版权所有