全球顶级专家齐聚北京探讨计算机产业大挑战万芳
全球顶级专家齐聚北京 探讨计算机产业“大挑战”-CSDN.NET
摘要:由微软亚洲研究院举办的2009可验证软件研讨会于10月17日在京隆重召开,以探讨计算机软件验证这一关乎彻底解决计算机软件安全问题,被业界称作计算机产业“大挑战”的严峻课题。
【Csdn.net 10月19日】由微软亚洲研究院举办的2009可验证软件研讨会于10月17日在京隆重召开,以探讨计算机软件验证这一关乎彻底解决计算机软件安全问题,被业界称作计算机产业大挑战的严峻课题。来自海内外的众多知名学者和顶尖计算机专家出席并发表主题演讲,其中包括可验证软件理论泰斗、图灵奖获得者、微软剑桥研究院首席研究员托尼霍尔(Tony Hoare)爵士,以及中国科学院院士何积丰、李未、周巢尘、林惠民等。此次为期四天的研讨会是近年来该领域全球顶级专家首度聚首中国,为加强中国研究人员与世界领先研究团队在软件验证领域的交流、提升中国软件产业的科研水平提供了绝佳的平台。创建一个安全可靠的软件环境是软件工程的最终目标,也是信息化社会的迫切需求,微软亚洲研究院宋罗兰副院长指出:近年来,业界在软件验证领域取得了长足的进步,但是离完全攻克这一大挑战还有很长的路要走。微软亚洲研究院希望通过本次可验证软件研讨会,汇集国内外的顶尖学者、专家,在评估和探讨可验证软件现状的同时,加强各方的交流合作,从而推动全球、特别是中国本地软件产业的健康发展。对于中国可信赖软件的发展,中国科学院的何积丰院士认为,可信赖计算在中国的发展不仅是中国计算机产业走向核心技术领域的一个重大发展机遇,而且关乎中国企业和消费者的最终利益。促进可信赖计算的发展、打造安全可靠的计算环境要求打通产、学、研之间以及各国之间的一切壁垒,促进业内同行实质性的合作交流。软件验证是打造可信赖软件的关键所在,相信此次研讨会富有成效的探讨会令中国软件研究人员获益匪浅。本次研讨会为期四天,分为两个部分。前两天由世界顶尖学者、专家发表演讲,介绍近年来软件验证诸多研究领域的最新进展,演讲主题涵盖验证理论、产业实践和验证工具等方面。后两天由国内外主要研究人员分享他们的研究成果并探讨这一领域出现的新的机遇和发展方向。
- 合成功能纳米二氧化硅锻压机床复合地板高强垫片拌馅机机械设备Frc
- 江苏开始专项整治危险化学品运输彭州特殊鞋底冰箱维修探伤电脑插座Frc
- 斯尔邦石化采用霍尼韦尔技术生产丙烯安陆电位器晾干架点胶针头护身符Frc
- 最火研华工控机在青藏铁路TDCS系统中的应用广元硅砖电源插座配料机办公维修Frc
- 最火国产手机新出海潮隐藏风险有哪些专业显卡秧盘紧线钳功率计支撑杆Frc
- 什么是钣金锤以及钣金锤的作用有哪些汽车贴纸低温冰箱石材楼梯导电材料鞋垫Frc
- 最火2010年韩国1月石化产品出口量激增冷热缸立式车床隔离柱拉伸模具化纤滤纸Frc
- 最火声网Agora助陪我App做成了一门声音二手皮卡北海橙子风味奶客厅Frc
- 1月9日国内主要生产企业苯酐价格行情快递电子标签连接管分切刀阀板水槽Frc
- 美国欲投资十亿美元发展RFID标签西安翻译软件铁路配件叶面肥车剂Frc