1 / 13

2008-2009 学年度

2008-2009 学年度. 导师：张文辉 学生：龙腾 200728015029036. 自我介绍 专业学习情况 集体活动 总结. 自我介绍. 贵州 贵阳 侗族 党员 大学：北京交通大学 爱好：听广播、 k 歌、吃美食 运动：游泳、瑜伽、出游. 自我介绍. 学科专业：计算机软件与理论 研究方向：形式化方法 硕博连读. 专业学习情况. 学习初期： 论文 《SOA 如何落地 》 发表于杂志 《 计算机用户 》 。 对模型检测相关的方向都有所涉猎：基于 SAT 的形式化验证、 BMC 、 SMT 等。. 专业学习情况. 学习中期：

briar
Download Presentation

2008-2009 学年度

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. 2008-2009学年度 导师：张文辉 学生：龙腾 200728015029036

  2. 自我介绍 • 专业学习情况 • 集体活动 • 总结

  3. 自我介绍 • 贵州 贵阳 • 侗族 • 党员 • 大学：北京交通大学 • 爱好：听广播、k歌、吃美食 • 运动：游泳、瑜伽、出游

  4. 自我介绍 • 学科专业：计算机软件与理论 • 研究方向：形式化方法 • 硕博连读

  5. 专业学习情况 • 学习初期： 论文《SOA如何落地》发表于杂志《计算机用户》。 对模型检测相关的方向都有所涉猎：基于SAT的形式化验证、BMC、SMT等。

  6. 专业学习情况 • 学习中期： 对抽象（Abstraction）感兴趣，集中学习了谓词抽象（Predicate Abstraction）、Counterexample Guided Abstraction Refinement、Ranking Abstraction等。 • APSEC 2008 工作人员 • Amir Pnueli: Using Abstraction to Verify Arbitrary Temporal Properties

  7. 专业学习情况 • 现阶段： 对公平性的CDS系统中的抽象程序中获取证明活性（liveness）的规则的有效前提设计一个算法: F-RANK。 An Algorithm of Extracting a Deductive Proof in System with Fairness

  8. 集体活动 --实验室 • 2008.10—2009.1 实验室07级第一学生工作小组组长 负责学生工作小组日常事务 以及组织滑雪 元旦联欢会等活动 • 日常 实验室文体活动 瑜伽、民族舞

  9. 集体活动 --实验室 • 实验室研究生会 协助老师进行文体活动的开展以及协助老师组织所集体活动项目 • 担任4个博士、1个硕士的答辩秘书，尽职尽责做好答辩筹备工作

  10. 集体活动—软件所研究生会 • 策划和组织以下活动： • 2008.9 软件所中秋晚会 • 2008.10 软件所-北师师范大学联谊会 • 2008.11 面试礼仪讲座 • 2008.12 元旦晚会 • 2009.5-6 毕业生相关系列活动

  11. 集体活动 –自己 • 代表软件所参加中关村地区“我与国策共成长”演讲比赛 获得第一名 并代表中关村地区参加海淀区的比赛

  12. 总结 • 学习：积极努力，学术上争取更大的进步 • 工作：认真负责，更好的为同学们服务 • 生活：希望能和大家度过更多快乐美好的时光

  13. 谢谢大家！！

More Related