考研导师是考研过程中的重要指导者，他们的帮助和指导对于考生的考研之路至关重要。一个好的考研导师不仅能够帮助考生解决学术问题，还能够帮助考生规划人生和职业发展。天任考研小编已经整理好【河南大学计算机与信息工程学院研究生导师王建林简介 河大王建林老师教育背景】的内容，一起来看看吧！
教师信息姓 名
王建林
性 别
男
职 称
副教授
办公电话
电子信箱
jlwang@henu.edu.cn
系室分类
计算机系
个人主页
暂未填写
研究方向
并行符号计算，定理机器证明
教育及工作经历
2012年毕业于华东师范大学软件学院，系统分析与集成专业，博士学位。
2012年至今, 河南大学计算机与信息工程学院教师，从事计算机系相关等的教学和研究。
社会及学术兼职
暂未填写
奖励及荣誉
2013-2014学年 实习指导教师.
主讲课程
C++程序设计
Java程序设计
数据库原理及应用
虚拟现实技术
论文著作
[1].Jianlin Wang, Liangyu Chen, Zhenbing Zeng. AFormal Proof of Pasting Lemma in Isabelle/HOL. In 2nd InternationalConference on Networks Security, Wireless Communications and TrustedComputing (NSWCTC) 2010, vol. 2, pp.458-461.
[2].Liangyu Chen, Jianlin Wang, Ming Xu, Zhenbing Zeng. Reengineering of JavaLegacy System Based on Aspect-Oriented Programming. In 2nd InternationalWorkshop on Education Technology and Computer Science (ETCS) 2010,pp.220-223, IEEE Computer Society.
[3].Jianlin Wang, Liangyu Chen, Zhenbing Zeng. Formalization of KuratowskiClosure Operation in Isabelle/HOL. International Conference on Energy Systemsand Electrical Power (ESEP) 2011. Energy Proc, 13 , 2011, pp. 7894-7901.
[4].Jianlin Wang, Liangyu Chen, Zhenbing Zeng. Formalization of ContinuousFunctions in Topological Spaces Using Isabelle/HOL. In InternationalConference on System Science, Engineering Design and ManufacturingInformatization (ICSEM) 2011, vol. 2, pp.20-23.
[5].Jianlin Wang, Hidetsune Kobayashi, Zhenbing Zeng. Isabelle Theorem Proverand Theorem Proving of Topology. In Workshop on Technique and Theory ofAutomated Reasoning(TTAR) 2011. pp. 6-6.
科研项目
[1]、国家青年科学基金项目: 基于符号-数值混合计算的多项式优化问题的准确验证(), 项目负责人：杨争峰。
[2]、国家青年科学基金项目：分布式移动通信场景下的参数化信道建模及预测优化机制研究（**），项目负责人：周毅。
[3]、河南大学科研基金项目：基于实代数几何的形式化方法研究（2013YBZR012），项目负责人：王建林。
[4]、河南省科技厅重点科技攻关项目：基于P2P的可视化办公系统的研究与开发（1），项目负责人：李玉玲。
[5]、河南大学科研基金项目：大规模实时空间查询处理技术及其在基于位置的服务中的应用（2013YBZR014），项目负责人：张重生。
[6]、河南省科技厅科技攻关项目：北宋都城虚拟展示集成开发平台（**7），项目负责人：姜保庆。
[7]、河南省科技厅科技攻关项目：面向历史领域的时空关联挖掘与信息检索平台的关键技术研究（**8），项目负责人：张重生。
[8]、河南省科技厅科技攻关项目：云计算环境下基于能力匹配的遥感数据处理任务调度研究（**7），项目负责人：葛强。
专利
[1].基于插值和多核并行求解多项式结式的计算软件,软件著作权编号: CHD-111326. 2011SR080907
其他
暂未填写
以上是天任考研为考生整理【河南大学计算机与信息工程学院研究生导师王建林简介 河大王建林老师教育背景】的相关信息，考生在备考过程中想要了解【报名要求，考试大纲，院校排名，热门专业，报考人数，职业规划，免费电子版复习资料，复试调剂】，可以在右侧窗口留言，会有老师一对一为大家答疑解惑，助力各位考生顺利进入理想院校。
