中国计算机学会青年计算机科技论坛――武汉分论坛
CCF Young Computer Scientists & Engineers Forum

CCF YOCSEF

将于2012年12月27日（星期四）9:30-11:30

在武汉大学计算机学院

举行专题学术报告会，敬请光临

报告会主题

会  议  程  序 

9:30  签到

9:10  报告会开始

特邀讲者：颜松远  教授  英国Bedford大学计算机科学系，湖北省百人计划

演讲题目：数论在密码学应用中的前沿进展

特邀讲者：张凯雄  教授  美国阿拉巴马州奥本大学工程学院计算机科学与软件工程系

演讲题目： Automated Source Code Measurement For Software Quality

11:10 会议交流

11:30 会议结束

执行主席：吴黎兵 博士 武汉大学计算机学院教授 
                YOCSEF 武汉分论坛主席

执行主席：马于涛 博士 武汉大学软件工程国家重点实验室副教授
                 YOCSEF 武汉分论坛委员

特邀报告讲者和报告内容简介

特邀报告之一：数论在密码学应用中的前沿进展

颜松远，教授，计算数论与密码学专家，江西省吉安县人，南开大学和华南理工大学讲座教授，1982年毕业于中国科学院研究生院，获理学硕士学位，并获英国York 大学数学系数论专业博士学位，长期从事计算数论、计算理论、密码学与信息安全方面的科研与教学工作，在著名出版社Springer-Verlag 出版过《Number Theory for Computing》、《Primality Testing and Integer Factorization in Public-Key Cryptography》、《Cryptanalytic Arracks on RSA》等三本英文专著，在国际上影响极大。

报告内容简介：目前，不管是国内还是国外，不管是大国家还是小单位，也不管是一流名校还是普通高校，都在致力于原创性的研究，都在力图解决各自领域内的重大问题。但是，什么是原创性的研究，科研的前沿又在何处？仁者见仁，智者见智。在ACM成立50周年的时候，ACM 总部特别邀请了13位Turing奖（计算机科学最高奖）得主和两位Nevanlinna 奖（理论计算机科学最高奖）得主探讨未来50年计算机科学的发展趋势；在MIT计算机实验室成立35周年的时候，主创公钥密码体制的Rivest(2002年Turing奖得主）也提出了一个密码破译问题，并且他坚信在MIT计算机实验室成立70周年的时候，这个问题难以解决。在本报告中，我们将介绍当代计算机科学，尤其是理论计算机科学和信息安全方面的一些重大科研问题。这些问题的最终解决，既具有一定的必然性，但更具有很强的偶然性，同时也需要我们抛弃急功近利的思想，辛勤耕耘，方能达到科研的高峰。

特邀报告之二： Automated Source Code Measurement For Software Quality

张凯雄，博士，美国阿拉巴马州奥本大学工程学院计算机科学与软件工程系教授。研究方向为软件测试、软件理解与可视化工具、软件复杂性度量、信息保障、计算机协同网络以及人工智能。在Pattern Recognition Letters，Journal of System and Software，Journal of Defense software等期刊、杂志以及学术会议发表学术论文100余篇。曾荣获ACM Certificate of Appreciation for Outstanding Service。

报告内容简介：自动化的源码度量是软件质量保障的重要基础，也是软件工程领域与应用领域中所关心的重点问题之一。但是众所周知，通过对源码的逐行度量来确保软件质量如同通过估计飞机重量来了解飞机状态一样，是一件非常困难的工作。但是，由于实际工程应用的质量管理要求，定性和定量的质量标准体系是必须的，因此大量的科学研究和实践工作都被引入到软件开发中，确保软件的质量，其中包括大量的成本规划、代价估算、质量保障测试、软件调试、软件性能优化，本报告将从多个侧面介绍软件源码度量的研究问题、发展状况，以图为听众揭示其中的潜在规律。