教师信息
姓 名
王建林
性 别
男
职 称
副教授
办公电话
电子信箱
jlwang@henu.edu.cn
系室分类
计算机系
个人主页
暂未填写
研究方向
并行符号计算,定理机器证明
教育及工作经历
2012年毕业于华东师范大学软件学院,系统分析与集成专业,博士学位。
2012年至今, 河南大学计算机与信息工程学院教师,从事计算机系相关等的教学和研究。
社会及学术兼职
暂未填写
奖励及荣誉
2013-2014学年 优秀实习指导教师.
主讲课程
C++程序设计
Java程序设计
数据库原理及应用
虚拟现实技术
论文著作
[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.
[2].Liangyu Chen, Jianlin Wang, Ming Xu, Zhenbing Zeng. Reengineering of Java Legacy System Based on Aspect-Oriented Programming. In 2nd International Workshop on Education Technology and Computer Science (ETCS) 2010, pp.220-223, IEEE Computer Society.
[3].Jianlin Wang, Liangyu Chen, Zhenbing Zeng. Formalization of Kuratowski Closure Operation in Isabelle/HOL. International Conference on Energy Systems and Electrical Power (ESEP) 2011. Energy Proc, 13 , 2011, pp. 7894-7901.
[4].Jianlin Wang, Liangyu Chen, Zhenbing Zeng. Formalization of Continuous Functions in Topological Spaces Using Isabelle/HOL. In International Conference on System Science, Engineering Design and Manufacturing Informatization (ICSEM) 2011, vol. 2, pp.20-23.
[5].Jianlin Wang, Hidetsune Kobayashi, Zhenbing Zeng. Isabelle Theorem Prover and Theorem Proving of Topology. In Workshop on Technique and Theory of Automated 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
其 他
暂未填写
删除或更新信息,请邮件至freekaoyan#163.com(#换成@)
河南大学计算机与信息工程学院导师教师师资介绍简介-王建林
本站小编 Free考研考试/2020-10-25
相关话题/河南 大学计算机
河南大学计算机与信息工程学院导师教师师资介绍简介-葛强
教师信息姓名葛强性别男职称教授办公电话电子信箱gq101@139.com系室分类计算机系个人主页暂未填写研究方向大数据分析、大气遥感、智能信息处理教育及工作经历l2005.7硕士毕业留校任教2008.9-2011华中师范大学博士2012.1-至今计算机系教师社会及学术兼职计算机学会会员,中国教育发展 ...河南大学师资导师 本站小编 Free考研考试 2020-10-25河南大学计算机与信息工程学院导师教师师资介绍简介-宋相法
教师信息姓名宋相法性别男职称副教授办公电话暂未填写电子信箱xiangfasong@163.com系室分类计算机系个人主页暂未填写研究方向机器学习及其应用教育及工作经历2013年在西安电子科技大学获得博士学位2003年7月-至今河南大学教师社会及学术兼职中国计算机学会会员中国人工智能学会会员中国自动化 ...河南大学师资导师 本站小编 Free考研考试 2020-10-25河南大学计算机与信息工程学院导师教师师资介绍简介-田军锋
教师信息姓名田军锋性别男职称副教授办公电话电子信箱tianjunfeng@henu.edu.cn系室分类计算机系个人主页暂未填写研究方向空间数据处理,并行计算,保密通信教育及工作经历2013至今,河南大学计算机与信息工程学院教师,从事计算机系相关的教学和研究工作2013年毕业于中国科学院大学计算机应 ...河南大学师资导师 本站小编 Free考研考试 2020-10-25河南大学计算机与信息工程学院导师教师师资介绍简介-闫永航
教师信息姓名闫永航性别男职称副教授办公电话暂未填写电子信箱feifanyyh@163.com系室分类计算机系个人主页办公室:计算机学院320,E-mail:feifanyyh@163.com研究方向互联网体系结构、移动Adhoc网络,网络安全,物联网,区块链教育及工作经历闫永航,男,1981年11月 ...河南大学师资导师 本站小编 Free考研考试 2020-10-25河南大学计算机与信息工程学院导师教师师资介绍简介-沈亚田
教师信息姓名沈亚田性别男职称副教授办公电话**电子信箱sy602@126.com系室分类计算机科学技术系个人主页暂未填写研究方向自然语言处理,机器视觉,深度学习教育及工作经历教育经历:2004年毕业于郑州大学计算机学院计算机网络专业2009年毕业于河南大学计算机学院数据挖掘专业获得理学硕士学位201 ...河南大学师资导师 本站小编 Free考研考试 2020-10-25河南大学计算机与信息工程学院导师教师师资介绍简介-郭彦伟
教师信息姓名郭彦伟性别男职称副教授办公电话暂未填写电子信箱yanwei_guo@qq.com系室分类计算机系个人主页暂未填写研究方向模式识别,计算机算法,信号处理教育及工作经历l2004.9—2006.7山东师范大学本科l2006.9—2009.7山东师范大学硕士l2009.9—2014.1中国科学 ...河南大学师资导师 本站小编 Free考研考试 2020-10-25河南大学计算机与信息工程学院导师教师师资介绍简介-党兰学
教师信息 姓 名 党兰学 性 别 男 undefined 职 称 教授 办公电话 0371-23883088 电子信箱 danglx@vip.henu.edu.cn 系室分类 计算机系 个人主页 暂未填写 研究方向 1) 时空分析与优化:主要研究时空 ...河南大学师资导师 本站小编 Free考研考试 2020-10-25河南大学计算机与信息工程学院导师教师师资介绍简介-许涛
教师信息姓名许涛性别男职称副教授办公电话**电子信箱txu@henu.edu.cn系室分类计算机系个人主页暂未填写研究方向时空大数据理论与应用城市计算GIS建模与应用教育及工作经历1997.9-2001.6,河南大学,经济地理学与城乡区域规划专业,理学学士。2005.9-2008.6,河南大学,计算 ...河南大学师资导师 本站小编 Free考研考试 2020-10-25河南大学计算机与信息工程学院导师教师师资介绍简介-张磊
教师信息姓名张磊性别男职称副教授办公电话电子信箱zhanglei@henu.edu.cn系室分类信息安全系个人主页暂未填写研究方向机器学习:有监督机器学习算法的性能优化、深度学习的规则提取、基于深度学习的天气预报、基于深度学习的舆情监测技术大数据:航空气象大数据、卫星遥感与时空大数据的存储与分析信息 ...河南大学师资导师 本站小编 Free考研考试 2020-10-25河南大学计算机与信息工程学院导师教师师资介绍简介-杜晓玉
教师信息姓名杜晓玉性别女职称副教授办公电话暂未填写电子信箱dxy@henu.edu.cn系室分类网络工程系个人主页暂未填写研究方向线传感器网络定位技术;无线传感器网络覆盖技术;物联网相关技术研究。教育及工作经历l1.1999年9月-2003年7月河南大学计算机与信息工程学院自动化专业本科l2.200 ...河南大学师资导师 本站小编 Free考研考试 2020-10-25