中国计算机学会青年计算机科技论坛
CCF Young Computer Scientists & Engineers Forum
YOCSEF
于
在北京邮电大学教三楼1层多功能厅
举行报告会
敬请光临
报告会主题
高可信计算
程 序
13:30 签到
14:00 报告会开始
执行主席：马华东 博士，北京邮电大学教授，YOCSEF学术委员会委员
执行主席：金 芝 博士，中科院数学与系统科学研究院研究员,YOCSEF学术委员会荣誉委员
报告一：188体育投注：软件可靠性工程的若干思考
特邀讲者：蔡开元 博士，北京航空航天大学教授
报告二：高可信软件研制的形式化方法
特邀讲者：张 健 博士，中科院软件所研究员
报告三：高可信对软件技术的挑战
特邀讲者：王 戟 博士，国防科技大学教授, YOCSEF学术委员会委员, YOCSEF长沙主席
参加人员：从事计算机软件的工程师、研究开发人员、教师、研究生、用户等
费用：免费。
Email：ccf@ict.ac.cn; Tel:(010)6256 2503; Fax:6252 7485
高可信计算
高可信计算技术旨在保证和提高计算机系统的可信性，预防或减少软硬件失效的发生，是计算机领域核心技术之一。计算机系统可信性问题同时也是一个重大科学问题，是对人类智力的挑战，迄今为止，无任何实用软件系统从数学角度被证明是正确的。高可信计算是未来信息技术发展中必须解决的重大问题之一。大量实例表明，计算机系统可信性问题可能带来严重后果，因此，可信的计算机系统是我国经济建设、社会发展和国防安全中不可缺乏的基础性构件。
本次报告会主要就高可信计算中核心问题－高可信软件的相关问题进行探讨，涉及如下关键技术：软件可靠性工程，主要包括软件可靠性工程的研究发展动态和面临的若干难题；高可信软件研制的形式化方法，主要介绍形式化方法的基本思想、方法、工具和典型应用；软件开发和运行中软件的高可信性质保证技术，主要讨论高可信对软件理论和技术提出的严峻挑战，以及主要采用的对策。
针对这项对未来信息社会产生重大影响的技术，目前的发展现状和趋势、可能的突破点、典型的应用以及我国在高可信软件的研究成果是大家目前十分关注的问题。希望通过3位专家对高可信软件相关技术的报告，来对这个问题有一个全面的认识。
执行主席 马华东
北京邮电大学教授、博士生导师,中国计算机学会理事、YOCSEF学术委员会委员。1995年在北京中科院计算所获得博士学位，现任北京邮电大学计算机学院应用技术中心主任、北京市重点实验室“智能通信软件与多媒体实验室”主任，并兼任几个国际国内学术刊物编委。研究方向为多媒体技术、电子商务、形式化方法、软件工程与计算机图形学, 负责和参与完成10多项国家自然科学基金、863和部委级研究项目。近年来在国际国内核心刊物和会议上发表70余篇学术论文，著作3部，获中国发明专利1项。
执行主席 金 芝
博士。中国计算机学会常务理事、YOCSEF学术委员会荣誉委员。现任中科院数学与系统科学研究院研究员，博士生导师，并担任该院计算机科学室主任，和中科院管理、决策与信息系统开放实验室副主任。主要研究方向为人工智能、软件需求工程、领域建模和基于知识的软件工程等。先后主持、协助主持或参加包括国家八五、九五科技重点攻关项目、国家863高技术计划项目、国家自然科学重点基金项目、国家自然科学基金项目、以及中法和中英合作项目等十余项，发表论文50余篇，出版合著英文专著1部，曾获得国防科工委科技进步二等奖、中创软件人才奖、中科院盈科优秀青年人才奖等。
特邀讲者 蔡开元
1965年4月生于福建莆田, 1980年考入北京航空航天大学, 分别于1984年、1987年、1991年在北航获得学士、硕士、博士学位。之后留校工作。1993年至1995年应聘在英国伦敦城市大学软件可靠性中心工作, 任Research Fellow, 参加欧共体尤里卡计划软件可信性方面的科研项目。1995年10月任北航教授。1998年获国家杰出青年科学基金（计算机学科）。1999年被教育部批准为“长江学者奖励计划”特聘教授（第二批，导航、制导与控制学科）。担任Fuzzy Sets and Systems国际杂志编委；(美国) Kluwer Academic Publishers出版社 The Kluwer International Series on Asian Studies in Computer and Information Science国际丛书主编。除英国外，曾在美国、澳大利亚、香港访问工作。
特邀讲者 张 健
中国科学院软件研究所研究员、所长助理，中国科学院计算机科学重点实验室副主任。1988年毕业于中国科技大学，1994年在中国科学院软件研究所获博士学位。曾获得中国科学院青年科学家奖、中创软件人才奖。目前工作得到国家杰出青年科学基金资助。
特邀讲者 王 戟
1995年获博士学位。现任国防科技大学计算机学院教授、博士生导师，《计算机学报》编委，中国计算机学会软件工程专业委员会副主任，中国计算机学会YOCSEF学术委员会委员、YOCSEF长沙主席。1993年至1998年间多次在联合国大学国际软件技术研究所（UNU/IIST）从事国际合作研究。先后负责承担了国家自然科学基金重点项目、国家863项目、国家信息网络安全保障持续发展计划项目等十余项高可信软件方面的研究课题，发表论文50余篇。1997年获“中创软件人才奖”。
京公网安备 11010802032778号
所有评论仅代表网友意见