姓名： 李兵

导师类别：硕导

职称：教授

职务：教师

电子邮件：hilibing@qq.com

理学博士学位（兰州大学，应用数学，2012）

工学硕士学位（兰州大学，计算机科学与技术，2006）

理学学士学位（厦门大学，数学专业，1987）

硕士生：最优化理论与方法

本科生：编译原理、数据分析等

计算机数学，管理信息系统

1. Automatic assessment of proving problems in middle school algebra. The 3rd International Conference on Intelligent Human-Machine Systems and Cybernetics, IHMSC2011, Hangzhou, China: 205-208

2. Elementary Algebra Proof Exercises Using a Theorem Proving System. The 2nd International Conference on Intelligent Computing and Integrated Systems, ICISS2011, Guilin, China: 384-390

3. Semantic interpretation of the answers of elementary algebra proving problems. The 3rd International Conference on Mechanical and Electronics Engineering, ICMEE2011, Hefei, China, Volume 4: 352-355.

4. Performing calculation in interactive theorem proving. The 2nd International Conference on Electronics and Information Engineering, ICEIE2011, Tianjin, China, Volume 9: 127-130.

1. C语言程序设计，科学出版社，2011，第一作者

2. Java与JSP快速入门，科学出版社，2011，第一作者