教师姓名：江华
职称：讲师
系所：软件工程系
研究领域：人工智能与运筹优化
办公电话：
电子邮件： huajiang@ynu.edu.cn
个人主页：
教育背景
1998-2002，解放军南京政治学院图书情报本科
2006-2008，华中科技大学计算机软件与理论硕士研究生
2011-2017，华中科技大学计算机软件与理论博士研究生
主要研究领域
主要研究方向为组合优化问题的精确求解与启发式优化算法。在经典的NP难问题—最大团问题精确求解算法设计上，基于MaxSAT推理的技术路线，先后提出了渐进MaxSAT推理、双层预处理等技术，所设计的精确求解算法在经典算例和现实世界大规模算例上都取得了突破，显著提高了最大团精确算法的现实可用性;在泛化的最大团问题—加权最大团问题上，先后提出了权重覆盖、两段式MaxSAT推理等求解方案，所设计的算法超越了当前最好的精确算法和启发式算法，性能处于国际领先水平;基于有希望的下降变元和横向平移等策略设计的图染色问题纯局部搜索算法，性能达到了当前国际最好水平。
以第一作者或通讯作者在人工智能和运筹优化领域国际会议和学术期刊上发表论文多篇。其中，人工智能国际顶级学术会议4篇，包括AAAI 3篇(CCF A类)，ECAI 1篇(CCF B类);运筹优化领域国际期刊4篇，包括INFORMS Journal on Computing1篇(CCF B类期刊，UTD24个期刊之一)、European Journal of Operational Research1篇(中科院二区，Top期刊), Computers & Operations Research 1篇(中科院三区)。
代表性学术论著
[1]. Jiang, Hua; Li, Chu Min; Liu, Yanli; Manyá, Felip. 2018. A Two-Stage MaxSAT Reasoning for the Maximum Weight Clique Problem. The Thirty-Second AAAI Conference on Artificial Intelligence, AAAI-18. (CCF A类顶级会议)?
[2]. Li, Chu Min; Liu, Yanli; Jiang, Hua*; Manyá, Felip; Yu Li. 2018. A new upper bound for the Maximum Weight Clique Problem. European Journal of Operational Research. (中科院二区，Top期刊，通讯作者)
[3]. Jiang, Hua; Li, Chu Min; Manyá, Felip. 2017. An Exact Algorithm for the Maximum Weight Clique Problem in Large Graphs. In Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, AAAI-17, 830-838. (CCF A类顶级会议)?
[4]. Li, Chu Min; Jiang, Hua*; Manyá, Felip. 2017. On Minimization of the Number?of Branches in Branch-and-Bound Algorithms for the Maximum Clique Problem. Computers & Operations Research, Vol. 84, 1-15 (中科院三区,通讯作者)?
[5] Li, Chu Min; Fang, Zhi Wen; Jiang, Hua; Xu, Ke. 2017. Incremental Upper Bound for the Maximum Clique Problem. INFORMS Journal on Computing. 30(1):137-153 (CCF B类期刊, UTD24期刊之一)
[6]. Jiang, Hua; Li, Chu Min; Manyá, Felip. 2016. Combining Efficient Preprocessing and Incremental MaxSAT Reasoning for MaxClique in Large Graphs. In Proceedings of 22nd European Conference On Artificial Intelligence, ECAI 2016, 939–947. (CCF B类会议)
[7] Li, Chu Min; Jiang, Hua; Xu, Ru Chu; Incremental MaxSAT Reasoning to Reduce Branches in a Branch-and-Bound Algorithm for MaxClique. 2015. In Proceedings ofLearning and Intelligent OptimizatioN Conference (LION 9), Springer LNCS 8994, 268–274
主要获奖成果
1.命题可满足性问题(SAT)国际算法竞赛，结构化算例组别铜牌，2014.
2. XXX信息化管理平台，军队科技进步三等奖，2013
主要学术任职
担任人工智能顶级国际会议IJCAI(2018-2020)、AAAI (2020)程序委员，AIJ、EJOR、C&OR等国际会议和期刊的审稿人。