个人简介
江华，1970年7月出生。贵州大学工学博士，华南理工大学博士后。现为闽南师范大学计算机学院副教授、硕士生导师、校级学术骨干。主要研究方向为形式化方法，算法设计与分析。主持福建省自然科学基金项目2项，参与国家自然科学基金项目的研究1项。在《计算机学报》《Journala of Computers》、《计算机研究与发展》等国内外学术刊物上发表论文30多篇。近十多年来在模型检测领域发表了一系列论文，在该领域的核心算法研究方面走到了世界同行的前列。
学习与工作经历
1988年----1992年在湖南大学工业电气自动化专业就读.
1992年----1996年在株洲工学院任教.
1996年----2001年在湖南财会学校任教.
2001年----2013年在韶关学院任教.
2013年----现在 在闽南师范大学任教.
其中：
2002年----2005年在华南理工大学电子与通信工程专业攻读硕士学位.
2005年----2008年在贵州大学计算机软件与理论专业攻读博士学位.
2010年----2013年在华南理工大学计算机科学与技术博士后站从事博士后研究.
荣誉及获奖情况
1. 2005年韶关学院第五届教坛新秀.
2. 2018年论文“基于偏序规律的μ-演算一阶谓词界程逻辑模型检测”获得福建省自然科学优秀学术论文三等奖.
近年承担的项目
1. “度量区间时序逻辑MITL的模型检测与控制器合成”(**)，国家自然科学基金项目，2015.1-2018.12，本人承担项目经费17万，主要参与人。
2. “移动界程模型检测核心算法研究”(2015J01269)，福建省自然科学基金项目，2015.4-2018.4，4万，主持。
3. “命题μ-演算模型检测核心算法研究”(2019J01751)，福建省自然科学基金项目2019.4-2022.4 ，8万，主持。
4. “基于进程演算理论的英中文机器翻译模型研究”(G**)，韶关市哲学社会科学规划课题，主持。
5. “界程演算模型检测算法及检测工具研究”(2016J01304) ，福建省自然科学基金项目，2016.4-2019.3，5万，主要参与人。
6. “牛眼虹膜特征提取与编码及其在肉类食品溯源中的应用”(S76)，广东省自然科学基金项目，2012-2013，3万，主要参与人。
7. “基于范畴论的共享系统数据模型及其应用研究”(S20**)，广东省自然科学基金项目，2013-2014，5万，主要参与人。
“界程演算模型检测技术的研究”，韶关学院科研项目，2009-2010，0.5万，主持。
近年发表论著情况
[1] Hua Jiang, Rongde Lin, Fumin Zou, Lingxiang Li*. Partial-order Algorithm of Model Checking in μ-Predicate Ambient Logic. Journal of computers. 2018，29(5): 156-173
[2] Hua Jiang, Fumin Zou, Rongde Lin, Lingxiang Li*. Path ω-automaton, JOURNAL OF INFORMATION HIDING AND MULTIMEDIA SIGNAL PROCESSING, 2017, 8(3): 640-648
[3] 江华*. 基于偏序规律的μ-演算一阶谓词界程逻辑模型检测. 计算机学报，39(12): 2547-2561, 2016
[4] JIANG Hua*, XI Jian-qing. Research and Application of Multiple Distance Spatial Clustering Algorithm Based on Neighborhood Searching. Journal of Computational and Theoretical Nanoscience, 9(10): 1628-1632(5), 2012
[5] JIANG Hua*, XI Jian-qing. Improved Algorithm of Global Model-Checking for Propositional μ-Calculus. 2012 International Conference on Information Technology and Management Innovation, Applied Mechanics and Materials，263- 266(3): 2314-2319, 2012.(ISSN:1660-9336, Trans tech publications) (ICITMI2012) doi：10.4028/www.scientific.net/AMM.263-266.2314
[6] JIANG Hua, XI Jian-qing. Quick algorithm for finding the kth real data, 2012 International Symposium on Information Technology in Medicine and Education, ITME2012, pp: 1099-1101, 2012
[7] 江华*. 命题μ-演算全局模型检测的高效算法设计.计算机研究与发展, 47(8): 1424-1433, 2010
[8] 江华*，李祥. 移动界程模型检测.计算机研究与发展, 46(10): 1750-1757,2009
[9] JIANG Hua, TAN Xinxing. Bisimulations in the Boxed Safe Ambients with Password，6th International Conference on Information Technology: New Generations, ITNG 2009. pp: 443–448, 2009
[10] JIANG Hua, LI Xiang. An Improved Algorithm for the Evaluation of Alternating Fixpoint Expressions in the mu-Calculus. 5th International Conference on Information Technology: New Generations, ITNG 2008. pp: 1245-1248, 2008
[11] 李前利, 江华*. 命题μ-演算局部模型检测高效算法设计[J]. 计算机工程与应用,53(09): 51-56,2017
学术兼职
中国人工智能学会机器博弈专业委员会委员
所授课程
本科生：算法设计与分析, 数据结构与算法， C程序设计。
研究生：算法设计与分析，进程代数，最优化理论与方法，组合数学，智能算法。
联系方式
电 话： E-mail： sg_jh@126.com
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
闽南师范大学计算机学院导师教师师资介绍简介-江华
本站小编 Free考研考试/2021-05-14
相关话题/闽南 大学计算机
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19闽南师范大学计算机学院导师教师师资介绍简介-杨文元
个人简介杨文元，1967年12月生。厦门大学理学博士。现为闽南师范大学计算机学院粒计算重点实验室专任老师、教授、硕士生导师。研究领域为人工智能和机器学习，主要研究方向为计算机视觉、视频目标跟踪、目标识别和模式识别等。主持1项漳州科技重大项目，参与完成国家自然科学基金项目的研究1项，参与国家自然科学基 ...闽南师范大学 本站小编 Free考研考试 2021-05-14闽南师范大学计算机学院导师教师师资介绍简介-杨敬民
个人简介杨敬民，男，1980年6月出生，台北科技大学博士（在读，人工智能），南京航空航天大学学士硕士，闽南师范大学计算机学院双师型副教授，硕士生导师，高级工程师，福建省人工智能学会理事，福建省系统工程学会理事，漳州市网络安全和信息化专家（漳州市委网信办），漳州市信息化专家（漳州市大数据管理局），漳州 ...闽南师范大学 本站小编 Free考研考试 2021-05-14闽南师范大学计算机学院导师教师师资介绍简介-闫格
个人简介闫格，1964年10月出生。新疆大学理学硕士。现为闽南师范大学计算机学院实验室主任、副教授、硕士生导师。主要研究方向为云计算与大数据处理，VR与仿真。参与完成了福建省工业重点项目1项，主持福建省物联网专项1项，参与省教育厅项目1项，主持福建省漳州市自然基金项目1项，参与福建省漳州市工业重点项 ...闽南师范大学 本站小编 Free考研考试 2021-05-14闽南师范大学计算机学院导师教师师资介绍简介-农强
个人简介农强，男，1978.06，副教授，厦门大学工学硕士，主要研究方向为密码学与信息安全。发表学术论文共计10余篇，主持及参与各级科研项目10余项。个人获奖2019年第十二届全国大学生信息安全竞赛（华东南赛区）一等奖优秀指导教师奖2018年全国高校“西普杯”信息安全铁人三项赛总决赛三等奖优秀指导教 ...闽南师范大学 本站小编 Free考研考试 2021-05-14闽南师范大学计算机学院导师教师师资介绍简介-魏志森
个人简介魏志森，男，1984年12月生，博士，讲师，毕业于南京理工大学模式识别与智能系统专业。主要教授的课程包括操作系统、计算机组成原理、大数据技术等，主要研究方向为模式识别与生物信息学、数据挖掘和计算机视觉。在《Neurocomputing》、《IEEETransactionsonNanobios ...闽南师范大学 本站小编 Free考研考试 2021-05-14闽南师范大学计算机学院导师教师师资介绍简介-方金生
个人简介方金生，男，1985年7月，博士，主要从事磁共振医学图像处理与机器视觉领域的研究。近年来在《Journalofmagneticresonance》、《MagneticResonanceinMedicine》等国内外期刊发表学术论文近十篇，其中被SCI收录、EI收录3篇，另有中国发明专利2项。 ...闽南师范大学 本站小编 Free考研考试 2021-05-14闽南师范大学计算机学院导师教师师资介绍简介-黄慧
个人简介：黄慧，女，1981年1月生，密码学博士，闽南师范大学计算机学院讲师，硕导。2003年7月毕业于闽南师范大学数学与应用数学专业，获理学学士学位。2008年7月毕业闽南师范大学基础数学专业，获理学硕士学位。2018年12月毕业于西安电子科技大学，获密码学博士学位。近年来，主要从事应用密码学、信 ...闽南师范大学 本站小编 Free考研考试 2021-05-14闽南师范大学化学化工与环境学院导师教师师资介绍简介-李顺兴
李顺兴教授，男，福建漳州人，厦门大学近海环境科学国家重点实验室博士后，武汉大学环境科学博士，厦门大学博士生导师，闽南师范大学校长、污染监测与控制福建省高校重点实验室主任。从事教育管理及环境科学、分析化学等学科专业的教学和研究，入选“教育部新世纪优秀人才支持计划”、福建省教学名师、国务院政府特殊津贴获 ...闽南师范大学 本站小编 Free考研考试 2021-05-14闽南师范大学化学化工与环境学院导师教师师资介绍简介-蔡文联
蔡文联，女，1967年生，1985.6加入中国共产党，1987.6月毕业于福建师范大学化学系；教授、硕导；从事化学课程与教学论的教学与研究及高校的教育管理工作，其中《化学教学论》系省级精品课程。已主持完成1项省自然基金课题、1项省十五规划研究课题《3+X高考模式下的高师教育改革和新型人才培养模式的探 ...闽南师范大学 本站小编 Free考研考试 2021-05-14闽南师范大学化学化工与环境学院导师教师师资介绍简介-陈国良
陈国良，男，1964年生，厦门大学物理化学博士，曾任生物与科学技术系主任、漳州师院成人教育学院院长、现为闽南师范大学科技处处长、闽南师范大学学报（自然科学版）副编辑；主要从事电化学、电化学石英晶体微天平研究，入选“福建省百千万工程人才”。主持科研项目（节选）1.福建省自然科学基金计划资助项目:新型纳 ...闽南师范大学 本站小编 Free考研考试 2021-05-14
