报名 | 图灵奖得主John Hopcroft做客清华,与你畅谈信息革命!

2019 年 9 月 18 日 THU数据派


9月20日,清华大学计算机系列讲座第33讲暨清华计算机学科顾问委员会第三次会议专题讲座,邀请到了图灵奖得主John Hopcroft与MIT M. Frans Kaashoek教授,他们将带来有关“信息革命”与“计算机语言”的精彩报告!


The Information Revolution


【演讲人】 John Hopcroft
(Cornell University)

【主持人】唐杰

时间】9月20日10:00- 11:00 

【地点】 清华大学FIT-多功能厅


内容简介:


The human race has experienced a number of revolutions:agricultural, industrial, and now an information revolution.  Each has had a major impact on society.  This talk will discuss three aspects of the information revolution and the impact it will have.  First we will discuss the impact of the earlier revolutions and the impact they had on our lives.  Second we will discuss the impact that the information revolution will have.  Third we will discuss what the United States and China should to do to improve lives of their citizens.


John Hopcroft


个人简介:


John Hopcroft是美国康奈尔大学计算机科学系工程与应用数学IBM讲席教授,美国国家科学院院士,美国国家工程学院院士,国际电机及电子工程师学会会士,国际计算机学会会士,美国工业和应用数学学会会士以及美国科学促进会会士。他的研究领域主要集中在计算机科学理论方向。


1986年,他被授予图灵奖以表彰他在研究方面的卓越贡献。1992年,他被乔治布什总统邀请加入美国国家科学委员会并负责监管国家科学基金。他于2005年获得美国电气电子工程师学会哈利古德纪念奖,2007年获得美国计算机研究学会杰出服务奖,2009年获得国际计算机学会会士, Karl V. Karlstrom杰出教育家奖,2010年获得美国电气电子工程师学会约翰冯诺依曼奖章,2016年获得中国友谊金奖。


此外,他获得了西雅图大学、爱尔兰国家学院、悉尼大学、圣彼得堡州立大学、北京工业大学以及香港科技大学的荣誉学位,并同时担任北京理工大学、上海交通大学、重庆大学及云南大学的荣誉教授。


报名请扫以下小程序码!



 The Benefits and Costs of Writing a Posix Kernel in A High-Level Language

【演讲人】 M. Frans Kaashoek (MIT)
【主持人】 陈文光

【时间】9月20日11:00-12:00

地点】FIT多功能报告厅


内容简介:


This talk presents an evaluation of the use of a high-level language (HLL) with garbage collection to implement a monolithic POSIX-style kernel. The goal is to explore if it is reasonable to use a HLL (Go specifically) instead of C for such kernels, by examining performance costs, implementation challenges, and programmability and safety benefits.Joint work:Cody Cutler and Robert Morris.


Frans Kaashoek


个人简介:


Frans Kaashoek是麻省理工学院电子工程与计算机科学系的教授,麻省理工学院计算机科学与人工智能实验室的成员。他是ACM研究员、国家工程院院士、国家艺术与科学院院士。


Frans Kaashoek的研究方向为操作系统、网络、编译以及分布式体系结构。


1998年,Frans与人共同创办了Sightpath公司,该公司于2000年被思科收购。他还帮助创建了Mazu Networks公司并在其董事会任职,直至Mazu于2009年被Riverbed Technology Inc收购。


报名请扫以下小程序码!



登录查看更多
0

相关内容

图灵奖(A.M. Turing Award,又译“杜林奖”),由 美国计算机协会(ACM)于1966年设立,又叫“A.M. 图灵奖”,专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家 阿兰·麦席森·图灵

知识荟萃

精品入门和进阶教程、论文和代码整理等

更多

查看相关VIP内容、论文、资讯等
【经典书】统计学习导论,434页pdf,斯坦福大学
专知会员服务
229+阅读 · 2020年4月29日
【哈佛《CS50 Python人工智能入门》课程 (2020)】
专知会员服务
109+阅读 · 2020年4月12日
电力人工智能发展报告,33页ppt
专知会员服务
120+阅读 · 2019年12月25日
【课程】概率图模型,卡内基梅隆大学邢波
专知会员服务
67+阅读 · 2019年11月4日
计算机 | 中低难度国际会议信息6条
Call4Papers
7+阅读 · 2019年5月16日
“光纤之父”高锟离世,感谢他的贡献
人工智能学家
3+阅读 · 2018年9月24日
人工智能 | COLT 2019等国际会议信息9条
Call4Papers
6+阅读 · 2018年9月21日
【人工智能】重磅:中国人工智能40年发展简史
产业智能官
7+阅读 · 2017年11月12日
Factor Graph Attention
Arxiv
6+阅读 · 2019年4月11日
Arxiv
6+阅读 · 2018年2月8日
Arxiv
3+阅读 · 2017年12月23日
Arxiv
3+阅读 · 2017年11月21日
Arxiv
9+阅读 · 2016年10月27日
VIP会员
相关论文
Top
微信扫码咨询专知VIP会员