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

CCF Young Computer Scientists & Engineers Forum

CCF YOCSEF长沙分论坛

于2012年6月3日(星期日) 下午2:30-5:30

湖南科技大学逸夫楼201会议室

举行专题论坛，敬请光临

论坛主题

老教授漫谈计算机学科发展

老教授们激情燃烧的学术生涯既是对一段历史的见证，更是可供我们后生学习与挖掘的宝贵经验财富。学习和了解历史可让我们更好地展望未来。本次论坛将邀请加拿大渥太华大学Gregor Bochmann教授、国防科技大学齐治昌教授和吴泉源教授为特邀讲者。三位知名老教授将从他们自身亲身经历畅谈程序语言与通信协议研究、软件工程学科与教育、以及计算机学科的发展历史，并同大家一起展望未来。

程  序

14:00    签到

14:30     报告会开始

特邀讲者：Gregor v. Bochmann  加拿大渥太华大学教授，加拿大皇家学会院士、工程院院士、IEEE Fellow、ACM Fellow

演讲题目：Research issues in the areas of programming languages and communication protocols: A lifelong experience since the 1970s

特邀讲者：齐治昌  国防科技大学计算机学院教授，博士生导师

演讲题目：软件工程学科与教育

特邀讲者：吴泉源 国防科学技术大学计算机学院教授，博士生导师。

演讲题目：加强信息网络技术研究，推动计算机学科发展

执行主席：刘建勋  博士，湖南科技大学教授

中国计算机学会YOCSEF 长沙分论坛主席

毛新军   国防科技大学计算机学院教授

                  中国计算机学会YOCSEF 长沙分论坛AC委员

李肯立   湖南大学信息科学与工程学院教授

        中国计算机学会YOCSEF 长沙分论坛AC委员

报名联系：李登，邮箱：dongxuanlee@gmail.com，电话：13975146200

题目：Research issues in the areas of programming languages and communication protocols: A lifelong experience since the 1970s

特邀讲者：Gregor v. Bochmann 教授

加拿大渥太华大学教授，加拿大皇家学会院士，加拿大工程院院士，IEEE Fellow，ACM Fellow。他在软件工程与通信协议领域有着30余年的研究经验，其分布式系统建模与协议一致性测试方面的研究工作得到了国际上的普遍认可，曾领导与Nortel Networks, IBM, Hewlett-Packard, Teleglobe, DMR and EICON Technologies等大型公司在电信与计算机领域的合作研究工作，并负责完成了多个大型学校与企业间的合作项目。早在20世纪80年代初期，他便是ISO与CCITT标准委员会在通信协议方面的成员，并领导了通信协议形式化描述技术的标准化工作。在1990-2000年间组织了12次国际会议，并在近十年期间担任了60次国际会议大会的程序委员会委员。他曾是国际学术刊物Distributed Computing编委，Computer Networks and ISDN Systems编委，Electronic Journal on Networks and Distributed Processing编委和ACM Transactions on Multimedia Computing, Communications and Applications编委。已出版专著两部，在IEEE Trans., ACM Trans.等期刊发表论文80余篇，会议论文200余篇。1995年被法国Grenoble大学授予荣誉博士，2000年在加拿大渥太华大学工程学院获George Glinski杰出研究成果奖，2001年因其在通信领域的贡献被加拿大皇家学会授予Thomas W. Eadie奖章，2002年获得加拿大渥太华大学杰出研究成果奖，2005年在IBM与NRC在加拿大多伦多组织召开的CASCON会议上当选"Pioneer of Computing in Canada"。2010年获IEEE Canada G.L. McNaughton金奖。

报告提要：

After my PhD in theoretical physics in 1971, I started to work in computer science. The choice of a particular research area was not so easy. In the area of programming languages, much work was done at that time on compiler writing systems. Since the syntactic aspects of programming languages were already well explored, I worked during several years on the formalization of the semantic aspects of languages by adapting the concept of semantic attributes to compilation in several passes. Then, I was looking for a research area that was less developed at the time, and in 1974, I started to work on communication protocols. This was the time of the first experiments with computer networks and the concept of protocols was still quite vague. The work I did, together with colleagues from different countries, on the specification, verification, implementation and test of protocols laid the foundation for the systematic development of communication protocols and their standardization. In this talk, I will also discuss the impact of these research results on today's state of the art in this area.

题目: 软件工程学科与教育

特邀讲者：齐治昌 教授

国防科技大学计算机学院教授，博士生导师。1965年毕业于中国科技大学应用数学系。目前主要的教学和科研领域为软件工程。历任国防科技大学副校长兼研究生院院长、国防科技大学计算机系（兼）研究所副主任、中国高等教育学会理事、全国高等学校教学研究会理事、教育部计算机科学与技术教学指导委员会第一、二、四届委员、教育部科技委信息组成员、全国计算机教育研究会副理事长等职。现任教育部计算机教指委软件工程委员会副主任。长期从事计算机领域的教学科研工作。目前是国家级精品课程“软件工程”和国防科技大学计算机科学技术国家级教学团队负责人，曾获国家级教学成果一、二等奖各一次。主持和参与多项国家863、国家自然科学基金、国防预研等项目，指导博士和硕士研究生50余名，在国内外期刊与学术会议上发表论文百余篇。

报告提要：

回顾软件工程学科的背景，介绍软件工程学科最新进展，结合SWEBOK介绍软件工程学科的内涵；从计算机教育到计算教育，再到软件工程教育，结合SEEK谈软件工程本科和研究生的教育。

题目: 加强信息网络技术研究，推动计算机学科发展

特邀讲者：吴泉源 教授

1965年毕业于复旦大学数学系计算数学专业，现为国防科技大学计算机学院教授、博士生导师、正军级文职将军，计算机软件学科带头人。我国第一台银河巨型计算机系统的主要研制者，获中央军委特等科技成果奖。1990年获国家“有突出贡献的中青年专家”称号，1991年起享受国务院政府特殊津贴。多届国家863专家组专家，主持10多项国家“863”计划等重点课题，获联合国信息科学领域世界峰会大奖1项，国家科技进步二等奖3项，省部级和军队级科技进步一、二等奖18项。共培养博士生、硕士生和博士后100余名，获全国优秀教学成果军队级一、二等奖3项，发表学术论文200余篇，出版专著3部。现担任国家考试中心计算机等级考试委员会专家，国防科技大学科技委委员，国家“核高基”重大科技专项中间件专家指导组特聘顾问，中国人工智能学会常务理事，湖南省软件行业协会首席专家。现主要研究方向有分布计算软件、人工智能与专家系统、海量数据管理与网络安全。

报告提要：

社会的应用需求永远是牵引计算机学科发展的不竭动力；计算机技术的发展不断推动着信息社会的进步；云计算、物联网等信息网络技术和软件服务工程的提出及深入应用为信息社会带来了新的发展机遇！

执行主席：刘建勋

博士，教授，湖南科技大学计算机学院副院长，知识网格实验室常务副主任，博士生导师。2009年获湖南省五四青年奖章，入选教育部新世纪优秀人才计划，获湖南省杰出青年基金资助。1997年3月与2003年4分别于中南大学计算机系与上海交通大学计算机系毕业，获工学硕士与博士学位。2007.7于中科院计算技术研究所博士后出站。2008.1－2009.1在加拿大渥太华大学访问。现为湖南省制造业信息化专家组专家、中国计算机学会普适计算专业委员会委员、中国煤炭学会青年工作委员会委员、CCF YOCSEF长沙主席。主要的研究方向：服务计算与云计算、工作流管理的理论与应用、知识与语义网格等。在国内外学术刊物以及国际会议上发表学术论文60多篇，其中被SCI收录9篇，EI收录15篇。获省部级科技进步二等奖2项，申请获得软件著作权登记9项，受理专利6项。现主持或已完成国家自然科学基金项目、国家973计划课题、863计划项目等项目20余项。

执行主席：毛新军

博士，国防科学技术大学计算机学院教授，博士生导师，军队优秀专业技术人才二类岗、军队育才银奖、霍英东基金获得者，入选教育部新世纪优秀人才计划、湖南省新世纪121人才工程；IEEE会员，中国计算机学会高级会员，中国计算机学会理论计算机科学专业委员会、人工智能与模式识别专业委员会、软件工程专业委员会委员，曾任中国计算机学会青年计算机科技论坛YOCSEF长沙分论坛主席。感兴趣研究方向包括：智能Agent 理论与技术、软件工程、自适应和自组织系统、自治计算等，主持国家863计划、国家自然科学基金、霍英东基金、博士点基金、预研及基金等项目十余项，出版著作和教材各1部，发表学术论文80余篇，获湖南省自然科学一等奖1项。

执行主席：李肯立

博士，湖南大学计算机与通信学院教授，博士生导师，院长助理，湖南省“超级计算中心”湖南大学筹备处技术负责人。中国计算机学会高级会员，中国计算机学会高性能计算专业委员会委员，中国软件行业协会数学软件分会、湖南省计算机学会理事。2008 年入选“教育部新世纪优秀人才支持计划”，2004 至2005 年在美国伊利偌伊大学超级计算中心从事火箭发射的模拟仿真高性能计算的访问研究，主要研究领域为并行分布式处理、计算机仿真、地震数据处理与可视化和生物计算技术等。作为项目负责人主持或完成了国家和省部级项目7项，获湖南省科技进步二等奖1次，发表论文60余篇。

湖南科技大学位置

联系人： 刘毅志 18673287306

        曹步清 13047225827