耶鲁大学邵中教授在软件学院（苏州）作精彩演讲 - USTC版

本页内容为未名空间相应帖子的节选和存档，一周内的贴子最多显示50字，超过一周显示500字访问原贴

USTC版 - 耶鲁大学邵中教授在软件学院（苏州）作精彩演讲

相关主题
● Re: 反对八股文 Re: 耶鲁大学邵中教授在软件学院（苏州）作精彩演讲	● 八卦通常都是真的：5名校友入选IEEE翰林院
● 计算机系在系统级芯片并行性研究上取得可喜成绩	● 中国科大在计算机学界旗舰会议ACM SIGMETRICS首发论文
● 中科大－耶鲁联合中心论文被POPL国际会议录用真正实现内地“零的突破”	● 中国科大向CCTV春晚宣战？
● 反对八股文 Re: 耶鲁大学邵中教授在软件学院（苏州）作精彩演讲	● 疯狂除夕夜，编程抢红包！
● A USTCer's resume	● 合肥工业大学生物医学工程方向招聘
● [转载] Re: ACM Programming Contest: From NYTimes	● 濮启凡：谈笑一挥手，隔壁灰飞烟灭？
● [合集] 郭奖获得者中的权威学会会士	● 张磊捐款耶鲁本不需要澄清一澄清背后太可怕(ZT)
● “北京地头蛇”座谈会通知	● 白岩松在耶鲁大学的演讲---中国版的"I have a dream"

相关话题的讨论汇总
话题: 邵中话题: 教授话题: 学院话题: 软件话题: 耶鲁大学

进入USTC版参与讨论

(共1页)

y***s
发帖数: 294

应软件学院的邀请，3月14日下午，耶鲁大学邵中教授在软件学院（苏州）作了题为
了《safety verification of low-level code》的精彩报告。邵中教授是科大83级少年班
校友，94年获得Princeton的计算机科学博士学位，现为ACM SIGPLAN执行委员会成员。
邵教授向软件学院师生介绍了其研究领域的前沿动向和程序安全认证方面的基本情
况。邵教授深入浅出的演讲拓宽了学生的知识面，得到师生的一致好评。

(共1页)

进入USTC版参与讨论

相关主题
● 白岩松在耶鲁大学的演讲---中国版的"I have a dream"	● A USTCer's resume
● 白岩松在耶鲁大学的演讲-----中国版的"I have a dream"	● [转载] Re: ACM Programming Contest: From NYTimes
● 白岩松是个捧土工臭脚的傻擦（对白岩松的演讲的点评）	● [合集] 郭奖获得者中的权威学会会士
● 耶鲁大学残忍奸杀女博士的技术员判了44年	● “北京地头蛇”座谈会通知
● Re: 反对八股文 Re: 耶鲁大学邵中教授在软件学院（苏州）作精彩演讲	● 八卦通常都是真的：5名校友入选IEEE翰林院
● 计算机系在系统级芯片并行性研究上取得可喜成绩	● 中国科大在计算机学界旗舰会议ACM SIGMETRICS首发论文
● 中科大－耶鲁联合中心论文被POPL国际会议录用真正实现内地“零的突破”	● 中国科大向CCTV春晚宣战？
● 反对八股文 Re: 耶鲁大学邵中教授在软件学院（苏州）作精彩演讲	● 疯狂除夕夜，编程抢红包！

相关话题的讨论汇总
话题: 邵中话题: 教授话题: 学院话题: 软件话题: 耶鲁大学

#	版面	帖数(主题数)
-	全站	4871 (796)
1	Military	3777 (569)
2	Stock	341 (51)
3	Joke	117 (17)
4	History	116 (3)
5	Automobile	100 (9)
6	USANews	55 (9)
7	Midlife	45 (1)
8	Headline	41 (41)
9	Dreamer	33 (13)
10	FleaMarket	32 (20)
11	Living	30 (7)

boards

未名新帖统计// 7月16日

历史上的今天