1 / 8

自我介绍

自我介绍. 姓名：徐艳艳 导师：张文辉 进 实验室时间： 2005 年 9 月. 思想品德. 优点：遵纪守法，自我道德约束比较强 缺点：有时候有点优柔寡断，勇气不够 总结：希望成为一个完全诚实正直并且乐于助人的人. 学习工作. 优点：自我督促比较强，一直督促自己要认真做事，做出点东西 缺点：有时候注意力不集中，并且懒散 总结：要更加努力. 研究方向. 有界模型检测， 05 年和陈伟、徐亮一起实现了一个模型检测工具 BMV (Bounded Model Verifier) 目前在做一些关于 PLTL 性质的验证的研究，希望能尽快出结果. 发表论文.

kamil
Download Presentation

自我介绍

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. 自我介绍 姓名：徐艳艳 导师：张文辉 进实验室时间：2005年9月

  2. 思想品德 • 优点：遵纪守法，自我道德约束比较强 • 缺点：有时候有点优柔寡断，勇气不够 • 总结：希望成为一个完全诚实正直并且乐于助人的人

  3. 学习工作 • 优点：自我督促比较强，一直督促自己要认真做事，做出点东西 • 缺点：有时候注意力不集中，并且懒散 • 总结：要更加努力

  4. 研究方向 • 有界模型检测，05年和陈伟、徐亮一起实现了一个模型检测工具BMV (Bounded Model Verifier) • 目前在做一些关于PLTL性质的验证的研究，希望能尽快出结果

  5. 发表论文 • Evaluation of SAT-based Bounded Model Checking of ACTL Properties. Yanyan Xu, Wei Chen, Liang Xu, Wenhui Zhang. TASE 2007. (EI收录） • BDDRPA*: An Efficient BDD-based Incremental Heuristic Search Algorithm.WeiyaYue, Yanyan Xu, Kaile Su. Australian Conference on Artificial Intelligence 2006: 627-636. （SCI收录）

  6. 性格特点 • 生性乐观，心理承受能力强；一直相信“一切都会过去，明天又是艳阳天” • 积极进取，尽可能大的实现人生价值是我的终生奋斗目标 • 善于反省，努力提高自我；对自己不满的地方能尽量改进。（比如，随着年龄的增大，我的责任感越来越强，学会了对自己和社会负责）

  7. 业余爱好 • 阅读兴趣广泛，尤其喜欢小说和诗歌 • 积极参加体育运动，比如打乒乓球等 • 听摇滚乐 • 美容保养护肤保健等

  8. 谢谢各位！

More Related