资源描述
中科大-耶鲁高可信软件联合研究中心,报告人：梁红瑾lhj1018,USTC-YaleJointResearchCenterforHigh-ConfidenceSoftware,实验室历史,中科大软件安全实验室陈意云老师、张昱老师耶鲁FLINT实验室邵中老师2008年10月，双方校长签署备忘录中科大-耶鲁高可信软件联合研究中心,软件无处不在,BUG无处不在,高可信软件,人类会犯错，但要想真正把事情搞砸还得计算机出马。PaulEhrlich,高可信软件,航天1962年，美国首次金星探测计划失败FORTRAN程序DO语句漏掉逗号1996年，欧洲Ariane5火箭爆炸，损失5亿美元溢出错误1998年，美国火星气候探测器坠毁使用英制单位，而非规定的公制单位1999年，美国火星极地登陆者坠毁某一数据位被错误设置,高可信软件,医疗1985-1987年，Therac-25放射治疗仪，可能出现配置错误，6次事故，患者死亡或灼伤2000年，癌症治疗软件计算药量错误，8人死亡，负责复检软件计算的医生以谋杀罪被起诉,高可信软件,如果麦当劳是一家软件公司，那么每卖出一百个巨无霸，就会造成一起食物中毒，并且麦当劳的答复会是：“我们很抱歉，这是补偿给您的两个巨无霸的优惠券。”MarkMinasi,研究方向,高可信软件,用数学的方法证明各种软件的正确性和安全性,研究方向,操作系统验证并发程序验证出具证明编译器自动定理证明器,研究方向,计划2010年7月底举办可信软件的前沿理论和技术暑期学习班实验室主页：,实验室导师,邵中教授冯新宇教授陈意云教授张昱副教授,实验室导师,邵中教授1983年，考入少年班1988年，计算机系学士学位，郭沫若奖学金1994年，普林斯顿大学博士学位；耶鲁大学计算机系助理教授2003年，耶鲁大学计算机系终身正教授2008年，我校大师讲席教授,实验室导师,邵中教授本领域国际学术权威2009年起，担任POPL会议(本领域顶级学术会议)指导委员会主席学术报告：5月19日9:4511:30，3124教室,实验室导师,冯新宇教授1999年，南京大学计算机系学士学位2002年，耶鲁大学师从邵中教授2007年，耶鲁大学博士学位；芝加哥丰田技术研究所2010年，应聘科大,实验室导师,冯新宇教授国际知名青年学者TonyHoare教授(1980年图灵奖得主)的评价：Heworksattheveryedgeofadvancesincurrentandnewresearchdirections,andhehasanexcellentrecordofsignificantcontributionstotheunderlinetheories.,实验室地址,西区：电一楼（信息学院旁边，外面的牌子是“信息科学实验中心”）二楼向右拐苏州研究院,实验室特色,管理：目标导向，无为而治导师：科研勤奋，教学严谨，关爱学生氛围：自由热烈的讨论，互相学习，各施所长机会：博士生去耶鲁交流,联系方式,邵中教授：shao-zhongcs.yale.edu冯新宇教授：xinyu.feng陈意云教授：yiyun张昱副教授：yuzhang研究生张昊中：zhz8512,本ppt将公布于,谢谢！,
展开阅读全文