王建林 照片

王建林

副教授

所属大学: 河南大学

所属学院: 计算机与信息工程学院

邮箱:
jlwang@henu.edu.cn

个人主页:
http://cs.henu.edu.cn/info/1048/1873.htm

个人简介

2012年毕业于华东师范大学软件学院,系统分析与集成专业,博士学位 2012年至今,河南大学计算机与信息工程学院教师

奖励及荣誉 2013-2014学年 优秀实习指导教师

研究领域

并行符号计算,定理机器证明

近期论文

[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.