1. 课程
算法，编译原理，形式化，程序化设计语言
选修课：好的书，好玩的地方介绍
重要的点，实验室的报告PDF，国外学者文档的制作--表达方式，学长的一些优秀的讲课文档，好的表达方式，给听讲者好的视觉和理解
2. 硕士研究工作
逻辑验证，CEGAR，自己相关文档，和代码
Blast， SLAM，D
以及自己讲过的相关文档和PPT
学长们讲的PPT相关文档
3. 苏州培训文档
coq相关的资料和代码，ARTIST暑期讲习班
4. 本科毕业论文相关资料
5. Verds相关的资料
6. ocaml相关的资料
7. 车辆预测
8. 多处理器
9. 逻辑验证----
10. 模型检测-----
11. 多处理器变成艺术
12. 工作简历
原文：http://www.cnblogs.com/orchid-sky/p/3611884.html