王建林
副教授
个人简介
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.