个人信息

姓名:田波/性别:男/年龄:24/email:tianbobo@gmail.com

教育背景

2005.9至2008.7    中国科学技术大学       计算机科学与技术系

2001.9至2005.6    中国科学技术大学       软件工程专业      

                              GPA 3.73      Rank:  3/38  7%

获奖经历

2005.6            获中国科学技术大学校级优秀毕业生

2005.12          参加华为软件设计大赛获入围奖

2004.10          获中国科学技术大学奖学金银奖

2002.10          获中国科学技术大学奖学金铜奖

工作/项目经历

2005.9至2008.7          主要研究方向：形式语义、类型论、计算机科学中的各种逻辑、代数规范

                    和范畴论等理论的应用，程序设计语言的理论与实现技术，软件安全等

2006.12至2007.11      设计、实现出具证明的编译器

2006.9至2006.12        使用Coq交互式证明工具证明X86汇编语言的正确性和完备性

2006.1至2006.8          在上海屹通公司兼职，期间和公司其他三名员工用Java完成了澳门大丰银行web2.0柜台系统，现已投入正式使用。

2004.12至2005.7     在上海普元实习，期间和其他两人共同完成了产品管理系统（类似于工作流的一个产品）和EOS PetStore等

Publication/books:

• 本科毕业论文  《基于PMS的产品需求管理系统的设计与实现》
• 2001年 激光杂志 《基于神经网络的非球形粒子识别》