当前位置: 中国高清大片免费大片 / 研究生教育 / 导师信息 / 正文
日期:2019年02月26日
教师信息 |
||||||
姓 名 |
王建林 |
性 别 |
男 |
|
||
职 称 |
副教授 |
|||||
办公电话 |
0371-23883088 |
电子信箱 |
jlwang@henu.edu.cn |
|||
系室分类 |
计算机系 |
|||||
个人主页 |
暂未填写 |
|||||
研究方向 |
||||||
并行符号计算,定理机器证明 |
||||||
教育及工作经历 |
||||||
2012年毕业于华东师范大学软件学院,系统分析与集成专业,博士学位。 |
||||||
社会及学术兼职 |
||||||
暂未填写 |
||||||
奖励及荣誉 |
||||||
2013-2014学年 优秀实习指导教师. |
||||||
主讲课程 |
||||||
C++程序设计 |
||||||
论文著作 |
||||||
[1].Jianlin Wang, Liangyu Chen, Zhenbing Zeng. A Formal Proof of Pasting Lemma in Isabelle/HOL. In 2nd International Conference on Networks Security, Wireless Communications and Trusted Computing (NSWCTC) 2010, vol. 2, pp.458-461. |
||||||
科研项目 |
||||||
[1]、国家青年科学基金项目: 基于符号-数值混合计算的多项式优化问题的准确验证(109010055), 项目负责人:杨争峰。 |
||||||
专 利 |
||||||
[1].基于插值和多核并行求解多项式结式的计算软件, 软件著作权编号: CHD-111326. 2011SR080907 |
||||||
其 他 |
||||||
暂未填写 |
||||||