My Photo

张丽伟

Liwei Zhang

软件工程硕士

Tel  : 13811131577（北京）

Email: lifelong830114@gmail.com

Addr：清华大学东主楼10-202（100084）

       10-202, East Main Building,

       Tsinghua University,

       Beijing, 100084, P.R.China

Research Interest

  • 低级程序验证

    • 为了避免编译器对程序正确性的影响（如编译优化），在低级语言（汇编）层次上来验 证程序的部分正确性，使得目标程序能够按照用户的规范要求运行。

  • 中文文本分类

    • 利用机器学习的相关知识，对中文文本进行分类，并建立索引，便于查找。

Teaching Experience

  • 2008秋 软件工程助教—辅助老师完成教学工作：组织课堂讨论，完成项目评审和文档审查，指导学生完成课程实验。

Computer Abilities

  • 掌握C,C++语言编程，熟练使用VC++等集成开发环境；

  • 熟练掌握JAVA语言、MySQL数据库以及Eclipse平台的使用；

  • 熟悉JSP主要技术：JavaBean、Servlet、JDBC、MVC等

  • 掌握C,C++语言编程，熟练使用VC++等集成开发环境；

  • 理解J2EE框架，熟悉HTTP Web服务，能够完整搭建一个Web网站（包括安装服务器引擎、创建页面、后台处理以及操作数据库等）；

  • 熟悉X86、MIPS体系结构的汇编语言；

  • 能够熟练使用Gallina语言在Coq中做程序验证。

Education

  • 2007/03 - 今 在“计算机系软件所系统软件和软件工程研究组”从事毕业论文工作。

  • 2006/08 - 2009/07 清华大学软件学院，软件工程，硕士研究生。

  • 2002/08 - 2006/07 河北工业大学，计算机科学与技术系，学士。

Projects

  • 面向多核处理器的低级并行程序验证——研究课题

    在该课题中，我与另外一名同学共同完成了目标代码验证理论框架的研究，编写了Coq验证代码，并发表一篇论文《面向多核处理器的低级并行程序验证》。通过这次的课题研究，我明白了完成一个研究课题应有的步骤，以及理论研究的方法、态度，另外还学会了一种新的编程思想——函数式编程，以及Gallina语言。

  • 中文文本分类及分类检索——国家海洋局数字海洋项目

    在该项目中，我担任后台程序的开发（即文本分类及检索），另外，还负责该项目的任务分配以及工作汇报。中文文本分类系统完成了文本分词以及自动分类的功能，主要使用了经典的贝叶斯算法；另外，按类别信息对文档建立了索引，以便于用户的分类检索。

  • 海口市电子农务网站改造升级——暑期社会实践

    在该次社会实践中，我掌握了一些网站开发的技术，更重要的是，我体会了团队合作的重要意义——一些大的项目靠个人来完成是非常困难的，而且大家一起，群策群力，在合作的过程中互相学习、取长补短，收到事半功倍的效果。

Publications

  • 朱允敏，张丽伟，王生原，董渊，张素琴. 面向多核处理器的低级并行程序验证. 全国软件与应用学术会议,2008.[PDF]

  • 彭一明，张丽伟，刘子乾. 挑战JSP&Servlet Web 2.0应用开发. 机械工业出版社，2008.

  • Y. Dong, S. Wang, L. Zhang and P. Yang. Modular cerfification of bytecode for virtual machine. Technical report, Dept. of Computer Science and Technology, Tsinghua University, Beijing, China, Sept. 2008.[PDF]

Social Activities

  • 2007年 暑期社会实践——完成海口市电子农务网的改造升级

  • 2007年11月 奥运前期志愿者——第七届世界体育与环境大会

Links

Copyright © 2008 by Liwei Zhang