学位
中国科学技术大学-计算机科学与技术系 硕士
教育背景
2005.9至2008.7，中国科学技术大学计算机科学与技术系 M.S.
主要研究方向：编译原理，软件安全，指针逻辑，计算机科学中的各种逻辑，出具证明的编译器，函数式程序设计，程序设计语言的理论实现等。
2001.9至2005.6，中国科学技术大学软件工程专业
获奖经历
2005.10，中国科学技术大学校级优秀毕业生
2004.10，中国科学技术大学奖学金银奖
2002.10，中国科学技术大学奖学金铜奖
工作经历
2011~今，北京智在必享网络科技有限公司 技术顾问
2009~2011，北京戈德利邦科技有限公司
2008~2009，中国建设银行信用卡中心，获总行优秀员工、2008年度最佳新人奖。
2007.9~2007.12，Java/J2EE软件学院助教
2006.9~2007.1，Java/J2EE软件学院助教
2006.2~2006.7，编译原理 计算机系
参与（或独立完成）项目简介
2006.12~2007.11，基于指针逻辑的出具证明的编译器(PLCC)
2006.1~2006.8，澳门大丰银行柜台系统(WebTeller)
2004.12~2005.7，EOS产品管理系统
2006.9~2006.12，X86汇编语言的正确性和完备性的证明
2002.12~2003.7，日本1996-2001年全国森林火灾统计分析
2005.12-2006.1，聊天软件客户端，曾在华为软件设计大赛中获奖。
发表论文
[1]田波，陈意云，王伟，李兆鹏，王志芳. 一个出具证明编译器后端的设计与实现. 计算机工程，2009年第35卷第7期。
[2]李兆鹏，陈意云，华保健，田波. 一种汇编语言指针逻辑的设计与实现，《小型微型计算机系统》，2009年第30卷第6期。
[3]Zhifang Wang, Yiyun Chen, Zhenming Wang, Bo Tian. An Extension to Pointer Logic for Verification. Theoretical Aspects of Software Engineering, 2008. (TASE 2008). :49-56.。
[4]Zhifang Wang , Yiyun Chen, Zhenming Wang, Bo Tian. Implementation of Pointer Logic for Automated Verification . In Proceedings of 1st International Symposium on Trusted Computing (TrustCom08) , Zhangjiajie , China , Nov. 2008. IEEE Computer Society.
Proceeding ICYCS '08 Proceedings of the 2008 The 9th International Conference for Young Computer Scientists Pages 2295-2301.