办公电话

电子信箱

hehh6@henu.edu.cn

系室分类

软件工程

个人主页

研究方向：形式化方法

教育及工作经历：

1996年9月—1999年7月计算机科学教育信阳师范学院 学生

1999.7~2004.9驻马店幼儿师范高等专科学校 教师

2004.9~2007.7云南大学信息学院 学生

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

社会及学术兼职：

无

奖励及荣誉：

2012年先进个人

2013年教学一等奖

主讲课程：

网络高级编程

论文著作：

何洪辉，王丽珍等，pgi-Distance:一种高效的并行KNN-join处理方法，2007计算机研究与发展

Honghui He, Jinzhao Wu, Jiuxia Xiong. Non-linear Loop Invariant Generation Using Citing Instances Approach, Applied Mathematics & Information

科研项目：

1、国家自然科学基金项目，11461006，半代数混杂系统形式化分析与验证的例证法研究，2015/01-2018/12，36万元，在研，参与。

2、广西混杂计算与集成电路设计分析重点实验室开放基金课题，基于不变式的半代数混杂系统安全性形式化分析

3、河南大学自然科学基金，以学生为导向的高校数据仓库例外挖掘研究，2011/01-2014/7，已结题，主持。

4、2010年7月《对等网络流量检测与控制系统的研制》豫科鉴委字[2010]第317号，参与

5、2009年10月《汉三阙文物保护监测系统》豫科鉴委字[2009]第971号，参与

专利：

无

其他

暂未填写