科技资讯

资源

正文
网站首页 >> 科技资讯 >> 资源

青稞沙龙第112期——Programming should be more than coding

我来说两句(0)| 复制链接| 打印|
收藏 发给朋友 举报 浏览 10469 次

  活动时间:

  2015年10月29日,19:00~21:00

  活动地点:

  清华大学罗姆楼阳光厅

  嘉宾:

  2013年图灵奖得主Leslie Lamport

  内容简介:

  这场报告的主题是Programming Should Be More Than Coding,莱斯利·兰波特主要介绍自己对编程的理解。从三个角度来说明编程需要包括的任务: 1. 决定这个程序需要做什么;2. 决定这个程序应该做什么;3. 如何用代码来实现你需要做的事情。这个讲座说明了这三者之间的关系,并且具体说明了前两者需要怎么做。

  嘉宾简介:

  莱斯利·兰波特(Leslie Lamport),美国计算机科学家。因其在提升计算机系统的可靠性及稳定性领域以及在分布式计算方面的杰出贡献被授予第四十八届图灵奖。

  1941年,兰波特出生于纽约,是欧洲移民的儿子。1960年毕业于麻省理工学院数学专业。1963年获得布兰迪斯大学数学硕士学位。1965-1969年任教于马尔波罗学院。1970-1972年,麻省计算机协会系统设计员。1972年获博士学位,继续研究伊利诺斯大学积分器和自动计算机。兰波特最终得出证明,分布系统中的相对次序与观察者有关。1972-1977年,任麻省计算机协会研究员。1977-1985年,在SRI 公司计算机科学实验室任研究员。1982年与另两人共同发表论文“拜占廷将军问题”,既允许军中可能有叛徒,又要保证战争胜利,引申到计算机领域,成为一种容错理论。

  1984年前后,使用高德纳(Knuth) 教授发明的 plain TeX 排版软件撰写一些并行计算方面的论文,感到还是不太方便,于是编写了便于自己使用的宏包套件,并命名为 LaTeX。其主要改进是将版面设计与文稿内容分开处理,只要使用者选择了一种文件类别,LaTeX 自动将整本书或整篇文章的结构和标题就按照这种文件类别典型样式来设置,作者只要专注文章的内容就可以了。起初 LaTeX 在计算机科学家之间流传,大家觉得 LaTeX 比 plain TeX 使用更方便,就经常通过各种渠道向他索取。1984年发表论文“分布系统中的时间、时钟和事件排序”。

  1985-2001年,在数字设备公司以及康柏系统研究中心作研究工作。1985年, 花两个月时间将 LaTeX 源代码整理出来,并编写出版了一本 LaTeX 使用手册《LaTeX: 一种文稿排版系统》,当时流行的 LaTeX 版本为2.09。2003年获法国雷恩大学荣誉博士。2003年7月10日,获德国基尔大学荣誉博士并作学术报告,体恤衫上印着:“You want proof ? I'll give you proof !”。2004年,由于在计算机信息处理方面的突出贡献,获得皮奥尔奖。同年获瑞士洛桑联邦工业大学荣誉博士。截至2006年,已发表论文160篇。

  参与方式:

  凭学生证或身份证等有效证件入场。

特别声明:本文转载仅仅是出于科普传播信息的需要,并不意味着代表本网站观点或证实其内容的真实性;如其他媒体、网站或个人从本网站转载使用,须保留本网站注明的“来源”,并自负版权等法律责任;作者如果不希望被转载或其它相关事宜,请与我们接洽。

相关资讯