姜桂飞

所属部门: 软件工程系
电子邮件: G.Jiang@nankai.edu.cn
职 称: 讲师
学 历: 博士
所学专业: 计算机科学
研究方向: 人工智能，知识表示与推理




个人简介
本人于2013年3月获得澳大利亚联邦政府国际研究生奖学金 (IPRS & APA)，在澳大利亚西悉尼大学 (Western Sydney University) 攻读计算机科学专业的博士学位，师从 A/Prof. Dongmo Zhang；同年10月在导师推荐下，申请到澳大利亚政府与法国政府的联合培养项目，到法国图卢兹第一大学 (University of Toulouse 1 Capitole) 攻读计算机科学的第二博士学位，师从 Prof. Laurent Perrussel，并于2016年7月完成答辩顺利获得双博士学位。博士毕业后至2017年3月在法国图卢兹计算机科学研究所 (IRIT) 做博士后研究员。主要研究方向为人工智能，包括知识表示与推理，通用博弈竞赛 (General Game Playing)，多智能体系统；理论计算机科学与博弈论，社会选择理论的交叉研究。目前在人工智能主要会议与期刊如 IJCAI, AAMAS, ECAI, PRICAI, Journal of Computational Intelligence等发表学术论文10余篇。
Guifei Jiang is a lecturer at Nankai University since 2017. She received a double PhD degree in Computer Science in 2016 from Western Sydney University and University of Toulouse under the support of scholarships "International Postgraduate Research Scholarship (IPRS)" from Australian Government also with Australian Postgraduate Award (APA). After graduation, she was a Postdoc at Toulouse Institute of Computer Science Research (IRIT). Her research interest includes Knowledge Representation & Reasoning, General Game Playing, Multi-Agent Systems, Strategic Reasoning, Preference and Judgment Aggregation. She has published more than ten high quality research papers in AI conferences and journals such as IJCAI, AAMAS, ECAI and Journal of Computational Intelligence.


科研项目、成果、获奖、专利等情况
科研项目：
国家自然科学基金青年科学基金，**，面向通用博弈系统的策略表示与推理研究，2019/01-2021/12，在研，主持
中央高校基本科研业务费专项资金资助项目，面向通用智能系统的知识表示与策略推理研究，2018/01-2019/12，在研，主持
国家社科基金重大项目，17ZDA026，基于社交网络的信息流逻辑研究，2017/11-2022/12，在研，参与
获奖：
2013. 03 – 2016. 03, 澳大利亚联邦政府国际研究生奖学金 (IPRS & APA)
2015. 12, 澳洲人工智能联合会议 (AI-2015) 最佳学生论文奖
Tutorials:
KR-18 Tutorial: From Game Description Language to Game Description Logics, 27 Oct 2018, Tempe, USA.
IJCAI-19 Tutorial: Game Description Language and Logics, 11 Aug 2019, Macao, China.


撰写论文、专著、教材等
(1) Jiang, G., Perrussel, L.,Zhang, D., Zhang, H., Zhang, Y., Game Equivalence and Bisimulation for Game Description Language. In Proceedings of the 16th Pacific Rim International Conference on Artificial Intelligence (PRICAI-2019, CCF C), To Appear.
(2) Jiang, G., Perrussel, L.,Zhang, D., Zhang, H., Zhang, Y., Characterizing the Expressivity of Game Description Languages. In Proceedings of the 16th Pacific Rim International Conference on Artificial Intelligence (PRICAI-2019, CCF C), To Appear.
(3) Jiang, G., Zhang, D., Perrussel, L., A Hierarchical Approach to Judgment Aggregation with Abstentions. Computational Intelligence (CI, CCF C) , 34: 104–123. 2018. DOI: 10.1111/coin.12109
(4) Jiang, G., Perrussel, L., Zhang, D., On Axiomatization of Epistemic GDL. In Proceedings of the 6th International Conference on Logic, Rationality, and Interaction (LORI-2017，EI检索), 598-613, Springer, 2017.
(5) Jiang, G., Zhang, D., Perrussel, L., and Zhang, H., Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games. In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI, CCF A), 1138-1144, IJCAI/AAAI press, 2016.
(6) Jiang, G., Zhang, D., Perrussel, L., and Zhang, H., A Logic for Collective Choice. In Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems (AAMAS, CCF B), 979-987, ACM, 2015.
(7) Jiang, G., Representing and Reasoning about Game Strategies. In Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems (AAMAS, CCF B) (Doctoral Consortium), 1975-1976, ACM, 2015.
(8) Jiang, G., Zhang, D., Perrussel, L., Knowledge Sharing in Coalitions. In Proceedings of the 28th Australasian Joint Conference on Artificial Intelligence (AI 2015，EI检索), 249-262, Springer, 2015. (获得最佳学生论文奖)
(9) Jiang, G., Zhang, D., Perrussel, L., GDL Meets ATL: A Logic for Game Description and Strategic Reasoning. In Proceedings of the 13th Pacific Rim International Conference on Artificial Intelligence (PRICAI, CCF C), 733-746, Springer, 2014.
(10) Jiang, G., Zhang, D., Perrussel, L., Judgment Aggregation with Abstentions under Voters Hierarchy. In Proceedings of 17th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2014，EI检索), 341-356, Springer, 2014.
(11) Lorini, E., Jiang, G., Perrussel, L., Trust-based Belief Change. In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI, CCF B), 549-554, IOS Press, 2014.
(12) Jiang, G., Zhang, D., Tang, X., Judgment Aggregation with Abstentions: A Hierarchical Approach. In Proceedings of 4th International Conference on Logic, Rationality, and Interaction (LORI 2013，EI检索), 321-325, Springer, 2013.
(13) 姜桂飞, 唐晓嘉: 基于直觉主义逻辑的隐偏好分析. 《逻辑学研究》, 2012, 5(2):88-104. (2013年01期人大复印资料 《逻辑》全文转载).


社会兼职
程序委员会委员 IJCAI-15, IJCAI-17，AAAI-18，IJCAI-ECAI-18, AAAI-19，IJCAI-19，LORI-19
评审人 AIJ, JAIR, IJCAI-15, AAAI (14-16), AAMAS-13, KR-13, KR-16, AI-13, AI-15, Frontiers of Computer Science, 逻辑学研究.
当地组织者 COMSOC-16