彭图

教育背景

美国德克萨斯大学工程与计算机科学学院  2006年1月-2010年5月

(School of Engineering and Computer Science, the University of Texas at Dallas)

获软件工程专业博士(PhD Dissertation Title: Formal Modeling and Automated Verification of Design Patterns)

德大软工专业排名全美16，根据Communications of ACM

北京大学数学科学学院       2002年9月 - 2005年6月

获信息安全专业工学硕士学位

北京大学数学科学学院       1998年9月 - 2002年6月

获信息科学专业学士学位

工作经验

德克萨斯大学工程与计算机科学学院软件形式化方法实验室（美国达拉斯）

博士学生             2006年1月 - 2008年12月

工作职责和业绩：研究软件设计的形式化建模及其应用，发表多篇期刊论文。

德克萨斯大学工程与计算机科学学院（美国达拉斯）

助教               2006年1月 - 2008年12月

工作职责和业绩：课堂教授大学/研究生水平的数学，计算机科学和程序设计。善于把比较抽象的数学知识形象化，并归纳出解决比较复杂数学问题的简洁思路。

北京大学数学科学学院信息科学系

助教               2002年9月 - 2005年5月

工作职责和业绩：给北京大学数学学院本科生讲授部分高等数学和计算机科学,特别是解数学题目和应试方法。

北京大学数学科学学院信息安全和密码学实验室研发

2002年9月 - 2005年5月

工作职责和业绩：参与国家自然科学基金支持的项目，高性能环境下软件加密平台的研究和开发。负责设计并实现基于IPSec协议的VPN的部分工作。

国际数学家大会2002志愿者    2002年7月 - 2002年9月

工作职责和业绩：为世界各国数学家在大会期间提供口、笔翻译。帮助他们在这次国际数学界的峰会上了解中国数学工作的进展。显示了一定组织能力和学术交流能力。

参与过的研究项目和发表的论文

单位：北京大学数学科学学院

项目：网络环境下的高性能软件加密平台

资助：国家自然科学基金

时间：2003.9-2005.6

内容：该项目设计并实现了基于IPSec协议的安全虚拟专用网。包括从网络层抓取的数据包的加密，分派，传输，和获取。我主要完成了公钥密码算法的设计和实验，并对部分算法做了优化。

成果：项目通过基金委验收，完成硕士论文并获答辩通过。

单位：The University of Texas at Dallas

项目：Formal Methods

资助：National Science Foundation, Texas Instruments（受美国自然科学基金和德州仪器公司资助）

时间：2006.1-2009

内容：研究应用数学方法对软件设计进行建模。研究并实验软件的自动化测试技术。通过在形式化建模和自动化测试基础上对软件设计进行分析和改进，减少软件在设计阶段和实现阶段的错误，从而提高软件系统可靠性。