办公电话

电子信箱

chendmhenu@163.com

系室分类

软件工程系

个人主页

研究方向：迁移学习 形式化方法

教育及工作经历：

2002.9-2006.7河南大学计算机与信息工程学院 计算机科学与技术 学士

2006.9-2009.7河南大学计算机与信息工程学院 应用数学（计算机） 硕士

2009.7至今 河南大学软件学院教师

社会及学术兼职：

暂未填写

奖励及荣誉：

2010年度河南大学教学质量奖一等奖

主讲课程：

离散数学 软件体系结构

论文著作：

[1]A Formal Specification in B of an Operating System, The Open Cybernetics & Systemics Journal, 2015, 9:1125~1129

[2]基于B方法的内存管理模型的设计，河南大学学报自然科学版，2015，45（4）：477 ~ 481

[3]Applying the B Method for the Rigorous Development of Task Management, Control and Intelligent Systems, 2014, 42(1):38~43

[4]Design of Task Management Model Based on B Method, Proceedings of the 8th International Conference on Computer Science and Education, Colombo, Sri Lanka, 2013.4.26-4.28

科研项目：

暂未填写

专利：

暂未填写

其他

暂未填写