70 likes | 169 Views
三好学生参评报告. 报告人:徐 亮 导 师:张文辉 研究员. 一、个人情况介绍. 姓名:徐亮 出生: 1981 籍贯:湖南 政治面貌:中国共产党党员 导师:张文辉 研究员 爱好:各项体育活动. 主要内容. 政治思想方面 科研学习方面 业余生活方面. 政治思想方面. 作为一名党员,时刻党员的标准来要求自己,认真学习党的思想、政策 ; 积极参加党支部组织的各项活动,认真对待每一次的组织生活。. 科研学习方面.
E N D
三好学生参评报告 报告人:徐 亮 导 师:张文辉 研究员
一、个人情况介绍 • 姓名:徐亮 • 出生:1981 • 籍贯:湖南 • 政治面貌:中国共产党党员 • 导师:张文辉 研究员 • 爱好:各项体育活动
主要内容 • 政治思想方面 • 科研学习方面 • 业余生活方面
政治思想方面 • 作为一名党员,时刻党员的标准来要求自己,认真学习党的思想、政策 ; • 积极参加党支部组织的各项活动,认真对待每一次的组织生活。
科研学习方面 • 在导师的指导下,和小组成员一起设计并实现了一个简单的模型检测工具。以该工具为基础,在其上做了一些改进和优化,相应的论文发表在09年第一期的JCST上; • 在对实时系统的限界模型检测研究方面,提出了将限界模型检测与SMT相结合的方法,其求解效率较之基于SAT的方法有了很大的提高,相应的论文发表在了08年的国际会议QSIC上。
业余生活方面 • 热爱体育运动,积极参加体育锻炼 ;多次代表实验室和软件所参加各项体育比赛,取得过一定的成绩;