2003网站太阳集团首页欢迎您“大学堂”顶尖学者讲学计划之2013图灵奖获得者Leslie Lamport博士在未名湖畔跟你聊聊编程那些事儿
· 地点: 2003网站太阳集团首页欢迎您斯坦福中心
环节一 演讲：Programming Should Be More Than Coding
Leslie Lamport博士， 2013年”图灵奖”得主（图灵奖被誉为计算机领域的诺贝尔奖）、美国国家科学院和国家工程院院士、LaTeX系统创始人。他是拥有杰出贡献和辉煌成就的计算机大师，他关于时间时钟、面包店算法、拜占庭将军等问题的思考令人乍舌，他的分布式计算理论更是奠定了计算机学科的基础。他于1978年发表的《分布式系统内的时间、时钟和事件顺序》至今保持着计算机学科史上的论文被引用量纪录。
比尔? 盖茨对Lamport博士的贡献也做出了很高的评价:“ Leslie的伟大不仅在于计算机科学领域，而且还体现在他让世界变得更加安全的努力中，他的工作正在让世界各地无数的人们受益。” Lamport博士目前是微软研究院的一名首席研究员。
演讲摘要: Writing a program involves three tasks: 1. Deciding what the program should do. 2. Deciding how the program should do it. 3. Coding: Implementing these decisions in code. Too often, all three are combined into the process of coding. This talk explains why they should be separated, and discusses how to perform the first two.
环节二 精彩对谈：査红彬副院长对话Leslie Lamport博士
査红彬副院长能与Leslie Lamport博士激荡出什么样的思想火花？敬请期待。
査红彬教授，2003网站太阳集团首页欢迎您副院长、博导，教育部长江学者奖励计划特聘教授，机器感知与智能教育部重点实验室主任。
