YOCSEF学术报告会“可信软件”2月27日在北航举行-CCF老网站-中国计算机学会_188体育app官网

您的位置：首页 > 往期新闻查询 > CCF老网站

YOCSEF学术报告会“可信软件”2月27日在北航举行

阅读量：3

2009-02-23

收藏本文

中国计算机学会青年计算机科技论坛

CCF Young Computer Scientists & Engineers Forum

YOCSEF

于2009年2月27日(星期五) 14: 00-17: 00在

北京航空航天大学新主楼会议中心第二报告厅

举行报告会，敬请光临

报告会主题

可信软件

现代信息社会对于计算机系统的依赖，很大程度上体现为对软件的依赖。而计算机系统的缺陷很大一部分都是由于软件的问题而引发的。随着软件的应用需求愈来愈多，复杂度愈来愈高，可用性要求愈来愈强，软件系统也愈来愈庞大、愈来愈脆弱，而且并不总是可以让人信任的，很多时候它会不以人们所期望的方式工作，发生各种故障和失效，从而直接或间接地对用户造成巨大损害，这类问题被称之为软件可信性问题。当前，可信软件基础研究已经成为国内外研究的热点，国家自然科学基金委员会、科技部等都专门设立了相关的重大研究计划和研究专项。本次报告会邀请了可信软件基础研究和应用领域的四位著名学者，从不同的视角，对可信软件基础研究和应用开发问题进行深入的探讨。

程序

13:30 签到

14:00 报告会开始

特邀讲者：何积丰院士，华东师范大学教授，软件学院院长

演讲题目：程序语言与可信软件

特邀讲者：梅宏博士, 北京大学信息科学与技术学院教授、院长

演讲题目：可信软件技术－若干思考及观点

特邀讲者：王贵驷博士，中国信息安全测评中心研究员，常务副主任

演讲题目：软件漏洞分析与软件可信性研究

特邀讲者：刘增良博士，国防大学教授

演讲题目：　　　　

执行主席：刘克博士，国家自然科学基金委信息科学部二处处长

YOCSEF学术委员会委员

执行主席：单志广博士，国家信息中心研究员，信息化研究部首席工程师

YOCSEF学术委员会委员

参加人员：IT领域专业人士、研究生、媒体、其他有兴趣者

报名联系：Email：ccf-pr@ict.ac.cn; Tel: (010)6256 2503转14; Fax: 6252 7485

因场地、会议资料有限请速报名，先报先得！

可信软件

特邀讲者何积丰

院士，华东师范大学教授，博士生导师，软件学院院长，上海嵌入式系统研究所所长。1965年毕业于复旦大学数学系。1965年起在华东师范大学工作，先后任助教、讲师，1986年晋升为教授。1980年至1981年，在美国斯坦福大学、旧金山大学做访问学者；1983年至1988年在英国牛津大学计算机实验室任高级研究员，1998年起任联合国大学国际软件技术研究所高级研究员。2002年至今，任华东师范大学软件学院院长，2002年成为华东师范大学首批终身教授。2005年当选中国科学院院士。

报告提要：计算机程序语言是设计各种计算机软件的基本工具，是现代软件开发技术的基础与核心。从机器语言到高级语言，计算机程序语言在编程能力与效率方面发生了巨大变化。随着程序语言复杂性的增加，其可信性问题越来越突出，引入形式化方法与软件规范，可以提高程序语言语义描述的准确性与规范性，从而为提高用程序语言设计的应用程序的可信性奠定基础。

特邀讲者梅宏

博士，北京大学信息科学与技术学院教授、院长，高可信软件技术教育部重点实验室主任，软件工程国家工程研究中心主任。教育部长江学者奖励计划特聘教授，国家杰出青年科学基金获得者，国家自然科学基金委创新研究群体负责人，两次担任973计划项目首席科学家。研究成果获2006年国家科技进步二等奖（排名第2），2007年教育部高等学校技术发明一等奖（排名第1），2008年国家技术发明二等奖（排名第1）。主要学术兼职包括：国家863计划“十一五”信息技术领域专家组成员，国家“核高基”重大科技专项实施专家组成员，中国计算机学会常务理事、系统软件专业委员会主任，信息产业部软件构件技术标准工作组组长；中国科学F辑（信息科学）、IEEE Transaction on Service Computing等学术期刊编委。

报告提要：近几年来，“可信”一词已成为互联网时代面向网络的计算中最受关注的术语之一。几乎所有从事计算机科学技术研究的人员都能在研究中和“可信”关联上，尽管各自对该术语的理解并不尽相同。本报告拟从软件技术发展的脉络来探讨“可信”概念产生的缘由、可信软件研究和过去软件技术研究的异同、可信软件技术研究的前景等，也对当前的“可信”热发表若干不成熟的思考和观点。同时，简要介绍“十一五”863计划在可信计算方面的布局。

特邀讲者王贵驷

博士，中国信息安全测评中心常务副主任，研究员，中国计算机学会、中国电子学会高级会员，清华大学软件学院访问教授，YOCSEF荣誉委员，中国信息产业商会信息安全产业分会副理事长。主要从事网络与信息安全研究工作，获得国家和部级科技进步一等奖各一项。

报告提要：软件漏洞的层出不穷导致互联网上重大信息安全事件频发，软件的开发面临因安全性而导致的第二次危机。对当前不可信的互联网环境中典型的软件漏洞进行分析，查找软件开发过程中引入安全漏洞的主要环节，提出当前软件可信性研究面临的几个难题。

特邀讲者刘增良

执行主席刘克

博士。YOCSEF学术委员会委员。2004年起任国家自然科学基金委员会信息科学部二处（计算机学科）处长，此前系北京科技大学自动化系教授、博士生导师，主要研究方向是复杂系统建模与控制、计算机应用，主持了15个科研项目，发表学术论文40余篇，合著教材2本，曾获中国科学院自然科学二等奖。近年还发表有10余篇管理类论文。

执行主席单志广

博士，研究员。YOCSEF学术委员会委员。国家信息中心信息化研究部首席工程师，兼规划研究室主任。中国计算机学会理事，Petri网专业委员会秘书长；中国自动化学会理事。主要研究方向为计算机网络、系统性能评价。参与编制《国民经济和社会发展信息化“十一五”规划》，任国家信息中心规划研究起草工作组组长，参与完成了《国家发展和改革委“十一五”期间电子政务总体规划》的编制工作。主持和参与了多项国家自然科学基金、863、973项目，在国内外学术期刊和会议发表论文50余篇，合著一部。曾获教育部自然科学一等奖，国家信息中心创新奖、突出贡献奖。

会场方位图

收藏本文

<<< 上一篇 YOCSEF公开征集2009-2010年度活动题目

YOCSEF学术报告会“可信软件”2月27日在北航下一篇 >>>

<<< 下一篇 YOCSEF学术报告会“可信软件”2月27日在北航

读完这篇文章后，您心情如何？

[ 0 ]人参与 (点击查看)

匿名评论所有评论仅代表网友意见

188体育app官网_188体育投注

YOCSEF学术报告会“可信软件”2月27日在北航举行

推荐内容