2011年12月毕业于西安电子科技大学，获工学博士学位。主持国家自然科学基金项目1项，广西自然科学基金项目、广西可信软件重点实验室基金项目各2项。作为主要成员参与完成国家自然科学基金项目共4项。在包括《计算机学报》、《计算机研究与发展》、《控制与决策》等在内外的著名期刊和重要会议上发表论文30余篇。目前研究方向为知识图谱，机器学习，形式化方法等。

2011年毕业于西安电子科技大学，获博士学位。

[1] 计算机科学导论 （本科生基础必修课） 

[2] 数据库系统原理 （本科生专业基础必修课） 

[1] 李凤英, 古天龙, 徐周波. Petri网的符号ZBDD可达树分析技术. 计算机学报, 2009, 32(12): 2420-2428. (CCF中文A类，EI) 

[2] 李凤英, 申会强, 董荣胜. 基于k²-MDD的时序图紧凑表示. 计算机研究与发展，2022, 59(6): 1286-1296. (CCF中文A类，EI) 

[3] 李凤英, 古天龙. 柔性制造系统中生产调度问题零压缩二叉决策图算法. 控制与决策, 2010, 25(5): 657-661. (EI) 

[4] 李凤英*, 何志伟, 董荣胜. 多状态不交化路径可靠性分析的符号算法. 电子科技大学学报, 2018, 47(6): 819-828. (EI)

[5] Fengying Li, Enyi Yang, Anqiao Ma, Rongsheng Dong*. Optimal Representation of Large-Scale Graph Data Based on Grid Clustering and k2-Tree. Mathematical Problems in Engineering, 2020, doi: 10.1155/2020/2354875. (SCI) 

[6] Fengying Li, Qi Zhang, Tianlong Gu, Rongsheng Dong*. Optimal Representation for Web and Social Network Graphs Based on k2-Tree. IEEE Access, 2019, 7(1): 52945-52954. (SCI) 

[7] Fengying Li, Mingdong Chen, Rongsheng Dong*. Multi-hop Question Answering with Knowledge Graph Embedding in a Similar Semantic Space. International Joint Conference on Neural Networks，IJCNN2022, 2022.7. (CCF C类会议)

[8] Fengying Li, Xianqiang Wu, Rongsheng Dong*. Web service composition model k2-MDDWS. Journal of Computers (Taiwan), 2020, 31(1): 208-217. (EI) 

[9] Fengying Li, Huihui Liu, Rongsheng Dong*. Network Reliability Analysis Based on ADD under Capacity and Delay Constraints. The 11th International Conference on Advanced Computational Intelligence, Guilin, China, June 7-9, 2019, pp: 102-107. (EI)

[10] Fengying Li, Tianlong Gu, Liang Chang. A symbolic OBDD-based algorithm for assembly sequence planning. Advanced Materials Research, 2010, 97-101: 2444-2448. 

[11] Fengying Li, Tianlong Gu, Guoyong Cai, Liang Chang. Symbolic ZBDD representations for mechanical assembly sequences. Proceedings of the 7th International Conference on Intelligent Information Processing, 2012: 208-215. 

[12] Rongsheng Dong, Ming Liu, Fengying Li*. Multilayer Convolutional Feature Aggregation Algorithm for Image Retrieval. Mathematical Problems in Engineering, 2019, doi: 10.1155/2019/9794202. (SCI) 

[13] Rongsheng Dong, Xiaoquan Pan, Fengying Li*. DenseU-Net-Based Semantic Segmentation of Small Objects in Urban Remote Sensing Images. IEEE Access, 2019, 7(1): 65347-65356. (SCI) 

[14] Rongsheng Dong*, Yangyang Zhu, Zhoubo Xu, and Fengying Li. Decision Diagram Based Symbolic Algorithm for Evaluating the Reliability of a Multistate Flow Network, Mathematical Problems in Engineering, 2016, doi:10.1155/2016/6908120. (SCI) 

[15] 董荣胜, 程德强, 李凤英*. 用于图像检索的多区域交叉加权聚合深度卷积特征. 计算机辅助设计与图形学学报, 2018, 30(4): 658-665. (CCF 中文A 类) 

[16] 李凤英, 范伟豪. 基于时序感知的动态知识图谱补全方法. 计算机工程与应用, 2022, 58(15): 202-209.

[17] 李凤英*, 杨恩乙, 董荣胜. 图压缩技术综述. 计算机工程与科学. 2020, 42 (1): 89-97. 

[18] 彭瑞, 李凤英*, 常亮, 孟瑜. 基于符号零压缩二叉决策图的装配可行性判定方法. 计算机科学, 2016, 43(6): 28-31. 

[19] 黄钰尧, 李凤英*, 常亮, 孟瑜. 基于符号零压缩二叉决策图的组合测试用例生成方法.计算机科学, 2018, 45(1): 255-260. 

[20] 李凤英, 古天龙, 常亮, 徐周波. 基于赋时Petri网的装配建模研究. 机械科学与技术, 2012, 31(7): 1115-1120. 

[21] 李凤英, 古天龙, 常亮, 徐周波. 一种基于赋时Petri网和ZBDD装配序列规划方法. 计算机科学, 2012, 39(2): 170-174. 

[22] 李凤英, 古天龙. 基于Petri网启发式搜索的装配序列规划. 系统仿真学报, 2009, 20: 152-155. 

[23] 李凤英, 古天龙, 侯杰. 基于赋时Petri网的装配序列规划符号求解. beat365体育亚洲入口学报, 2010, 30(2): 146-149. 

[24] Jie Hou, Fengying Li, Huijiao Wang. An ordered binary decision diagram model for production knowledge representation and its reasoning. Proceedings of Third International Conference on Genetic and Evolutionary Computing, 2009: 166-168. 

[25] Jie Hou, Fengying Li, Huijiao Wang. Petri net model for concurrent control of database system. Proceedings of 2010 International Conference on Intelligent Computing and Integrated Systems, 2010: 813-815. 

[26] Qianjin Wei, Tianlong Gu, Fengying Li, Guoyong Cai. Symbolic representation of indiscernibility relation using ZBDDs. Proceedings of the 7th International Conference on Intelligent Information Processing, 2012: 216-225. 

[27] 古天龙, 李凤英. 一类Petri 网调度问题的符号求解技术. 系统仿真学报, 2005, 17: 148-150.

[1] 国家自然科学基金项目：基于图卷积网络和符号计算的知识图谱补全和压缩及查询技术研究 

[2] 国家自然科学基金项目：大规模图数据的符号表示和管理技术研究 

[3] 国家自然科学基金项目：面向语义Web的行动表示和推理研究 

[4] 国家自然科学基金项目：基于抽象和符号技术的并发软件验证研究 

[5] 广西自然科学基金项目：复杂装配序列的新型符号规划技术研究 

[6] 广西自然科学基金项目：赋时Petri网的符号分析技术及其应用研究

[7] 广西自然科学基金重点项目：基于符号计算的大规模图数据管理技术研究 

[8] 广西可信软件重点实验室项目：基于ZBDD的装配序列规划研究 

[9] 广西可信软件重点实验室项目：基于图卷积网络的知识图谱补全研究

电话：13978393760

 E-mail：lfy@guet.edu.cn