计算机科学国家重点实验室

State Key Laboratory of Computer Science


Archive for the ‘学术交流’ Category

中国科学院“爱因斯坦讲席教授”、图灵奖获得者Edmund M. Clarke教授来访

10月15日至18日,应计算机科学国家重点实验室邀请,中国科学院“爱因斯坦讲席教授”、2007年ACM图灵奖获得者美国卡内基梅隆大学Edmund M. Clarke教授到软件所进行访问交流,并分别作了三场学术报告。

图灵奖获得者Joseph Sifakis教授来访

图灵奖获得者Joseph Sifakis教授

图灵奖获得者Amir Pnueli教授来访

图灵奖获得者Amir Pnueli教授

图灵奖获得者C.A.R. Hoare教授来访

图灵奖获得者C.A.R. Hoare教授

Rss Feeds