近日，从 2009 年全国理论计算机科学学术年会获悉，由省高性能计算重点实验室主任薛锦云教授指导的中国科学院软件研究所博士研究生、我校青年教师胡启敏撰写的论文《 图遍历的非递归算法生成与形式化证明技术研究 》被评为本次大会的优秀论文。 本次会议共收到投稿论文 230 余篇，经会议程序委员会审稿，共录用 116 篇，经过通讯评审和会议现场评议从中选出 6 篇确定为年会优秀论文，并推荐到国家一级刊物《计算机研究与发展》正刊发表。
　　 这是薛锦云指导的硕士和博士研究生连续第三年获得全国理论计算机科学学术年会优秀论文奖。 2007 年刚刚进入二年级学习的硕士研究生游珍在南宁学术年会上以创新的成果和精彩的答辫夺得优秀论文奖。今年游珍已毕业留校并高分录取武汉大学博士研究生。 2008 年我校青年教师、中科院软件所博士研究生左正康在西安学术年会上，也一举获得优秀论文奖。
　　 由中国计算机学会理论计算机科学专委会主办的“全国理论计算机科学学术年会”是国内理论计算机科学领域的顶级学术会议，到会发表论文的作者大部分来自国内重点大学和科研院所。我校教师在该会发表的论文均以薛锦云教授主持的多项国家级课题为研究背景，具有明显的创新性，前瞻性，系统性和实用性，对与会听众有很强的吸引力。（文 / 省高性能计算重点实验室）