左正康(校聘教授、博士)

发布时间： 2019-09-20 浏览次数： 10955

基本情况

---------------------------------------------------------------------------------------------------------------------

姓名：左正康

职务：计算机科学与技术系副主任

职称：校聘教授

学历：博士研究生

邮箱：zuo803@jxnu.edu.cn


个人简介

----------------------------------------------------------------------------------------------------------------------

左正康，校聘教授，硕士生导师，博士毕业于中国科学院大学。江西省自然科学基金重点项目负责人，江西省首届“双十佳研究生”指导老师，CCF高级会员，CCF理论计算机科学专委会和形式化方法专委会执委，江西省计算机学会高可信软件形式化方法专委会副秘书长，江西省城市安全信息化学会理事，江西省工信厅软件和虚拟现实专家遴选评审会评组组长，江西省工信厅2023首版次软件产品评审会评组组长，南昌市高层次科技创新人才“双百计划”项目验收委员会主任，2021年全国理论计算机科学学术年会论坛主席。国家自然科学基金信息科学部评审专家，教育部学位中心评审专家，《软件学报》审稿专家，江西师范大学“三育人”先进工作者。主持国家自然科学基金、国家留学基金面上项目等国家级项目3项，主持江西省自然科学基金重点项目等省级项目7项。以第一作者或通讯作者在ACM Trans. Softw. Eng. Methodol., IEEE Trans. Softw. Eng., IEEE Trans. Serv. Comput., IEEE Trans. Reliab., Inf. Sci., Biosyst. Eng., J.Intell. Fuzzy Syst., IJSI, ICECCS, QRS, 软件学报, 信息安全学报等国内外重要期刊和学术会议发表论文50余篇，包括ACM/IEEE Trans、CCF A类和SCI中科院一区论文11篇。授权国家发明专利2项，实用新型专利1项，软件著作权10余项，以第一作者身份在科学出版社出版学术专著1部。多次受邀在国际国内重要学术会议上做学术报告，包括 ICECCS、QRS、ICCIS、CCF 中国软件大会 ChinaSoft 和全国理论计算机科学学术年会等，受邀担任2020 - 2023年全国理论计算机科学学术年会程序委员会委员和第五届国际通信与信息系统会议（ICCIS 2021）程序委员会委员。

研究领域：高可信软件、智能化软件、农业信息技术。

招生方向：学术型硕士（计算机科学与技术、软件工程）；专业硕士（计算机技术、软件工程、大数据技术与工程、人工智能、网络与信息安全）


教育背景

----------------------------------------------------------------------------------------------------------------------

博士 2005.09-2011.09 中国科学院大学 计算机软件与理论

硕士 2001.09-2004.06 江西师范大学 计算机软件与理论


课题项目

----------------------------------------------------------------------------------------------------------------------

  1. 国家自然科学基金地区科学基金项目，基于PAR的树与图结构泛型算法通用验证和生成方法（编号：61862033），2019.1-2022.12，38万元，主持

  2. 国家自然科学基金地区科学基金项目，基于代数结构及公理语义的泛型约束方法研究（编号：61462039），2015.1-2018.12，44万元，主持

  3. 国家留学基金面上项目，树与图结构算法程序的验证和生成方法在软件系统逻辑验证领域的应用（编号：202008360094），2020.7-2022.12，15万元，主持

  4. 江西省自然科学基金重点项目，代数和数值算法的程序正确性构造方法研究，2024.7-2027.6，20万元，主持

  5. 江西省自然科学基金面上项目，基于函数式编程的程序精化及形式验证方法研究 (编号: 20232BAB202010)，2023.7-2025.6，10万元，主持

  6. 江西省自然科学基金面上项目, 基于PAR的非线性结构泛型算法通用验证和生成方法（编号：20202BABL202026），2020.1-2021.12，6万元，主持

  7. 江西省自然科学基金青年项目，Apla中泛型约束方法与应用研究（编号：20142BAB217023），2014.1-2016.6，结题获评“优秀”，5万元，主持

  8. 江西省教育厅科学技术研究重点项目，代数和数值算法的形式化开发方法（编号GJJ210307），2022.1-2024.12,  5万元，主持

  9. 江西省教育厅科学技术研究面上项目，树与图上泛型算法通用验证和生成方法研究（编号：GJJ150349），2016.1-2018.12，3万元，主持

  10. 江西省教育厅科学技术研究青年项目，基于PAR的Apla泛型约束方法研究及其应用（编号：GJJ14268），2014.1-2014.12，1.5万元，主持


主要论著（*代表通讯作者）

----------------------------------------------------------------------------------------------------------------------.

  1. 左正康, 王昌晶.分划递推法中泛型约束机制[M]. 科学出版社, 2022.

  2. Qing Huang, Dianshu Liao, Zhengchang Xing, Zhengkang Zuo*, Changjing Wang, Xin Xia. Semantic-enriched Code Knowledge Graph to Overcome Unknowns in Smart Contract Code Reuse[J]. ACM Transactions on Software Engineering and Methodology(CCF-A，SCI一区), 2023, 32(6):147:1-147:37.

  3.  Qing Huang, Zishuai Li, Zhenchang Xing, Zhengkang Zuo*, Xin Peng, Xiwei Xu, Qinghua Lu. Answering Uncertain, Under-Specified API Queries Assisted by Knowledge-Aware Human-AI Dialogue[J]. IEEE Transactions on Software Engineering(CCF-A，SCI一区), 2023, DOI: 10.1109/TSE.2023.3346954.

  4. Qing Huang, Zhiqiang Yuan, Zhengchang Xing, Zhengkang Zuo*, Changjing Wang, Xin Xia. 1+1>2: Programming Know-What and Know-How Knowledge Fusion, Semantic Enrichment and Coherent Application[J]. IEEE Transactions on Services Computing(CCF-A，SCI一区), 2023, 16(3):1540-1554.

  5. Shuqi Pan, Changjing Wang, Wuping Xie*, Jiaxing Lu, Qing Huang, Zhengkang Zuo*. Modeling and Verification Methods for Spatio-temporal Consistency of CPS in Uncertain Environment[J]. IEEE Transactions on Reliability(SCI一区), 2024, DOI: 10.1109/TR.2024.3384702.

  6. Zhengkang Zuo, Zhicheng Zeng, Wei Su, Qing Huang, Yuhan Ke, Zengxin Liu, Changjing Wang, Wei Liang. Specification Transformation Method for Functional Program Generation Based on Partition-recursion Refinement Rule[J]. Information Sciences(SCI一区), 2023, 633: 613–632.

  7. Le Yang, Panpan Wu*, Zhengkang Zuo*, Lan Long, Junlin Shi, Yutang Liu. ERoots: A Three-Dimensional Dynamic Growth Model of Rice Roots Coupled with Soil. Biosystems Engineering(SCI一区), 2024, 244: 122-133.

  8. 左正康, 黄志鹏, 黄箐, 孙欢, 曾志城, 胡颖, 王昌晶. LLRB 算法的函数式建模及其机械化验证[J].软件学报(CCF- A), DOI:10.13328/j.cnki.jos.007034, 2023. http://www.jos.org.cn/1000-9825/7034.htm.

  9. 左正康,赵帅,王昌晶,谢武平,黄箐.抢占式调度问题的 PPTA 模型与验证方法[J].软件学报(CCF- A), DOI: 10.13328/j.cnki.jos.006969, 2023. http://www.jos.org.cn/1000-9825/6969.htm.

  10. 左正康, 柯雨含, 黄箐, 王玥坤, 曾志城, 王昌晶. Trie+结构函数式建模、机械化验证及其应用[J]. 软件学报(CCF- A),2024, DOI: 10.13328/j.cnki.jos.007135. http://www.jos.org.cn/1000-9825/7135.htm

  11. 左正康, 孙欢, 王昌晶, 游珍, 黄箐, 王唱唱. 命令式动态规划类算法程序推导及机械化验证[J]. 软件学报(CCF- A),2024, DOI: 10.13328/j.cnki.jos.007134. http://www.jos.org.cn/1000-9825/7134.htm

  12. 左正康,薛锦云.Apla中泛型约束机制研究[J].软件学报(CCF- A),2015,26(6):1340-1355.

  13. 王昌晶,薛锦云,左正康.SRL到Radl生成系统及其范畴论语义[J].电子学报(CCF- A), 2014, 42(1):137-143.

  14. 王昌晶,罗海梅,左正康.基于问题模式的形式化软件规格说明生成方法[J].计算机研究与发展(CCF- A),2013,50(2):352-360.

  15. 王昌晶,欧阳俊媛,张取发,左正康,程着,卢家兴.基于角色的区块链拍卖合约抽象建模及其时间安全性与公平性验证[J]. 通信学报(A类), 2024, 录用.

  16. Zhengkang Zuo, Huan Sun, Changjing Wang, Zhen You, Qing Huang, Changchang Wang. Mechanized Verification and Program Derivation of Imperative Dynamic Programming Algorithms. International Journal of Software and Informatics(English translations of excellent manuscripts appearing in "Journal of Software/Ruan Jian Xue Bao"), 2024, Accept.

  17. Zhen You, Jinyun Xue, Zhengkang Zuo. Unified Formal Derivation and Automatic Verification of Three Binary-tree Traversal Non-recursive Algorithms[J]. Cluster Computing (SCI一区) , 2016, 19(4): 2145-2156.

  18. Changjing Wang, Yuxin Wang, Qing Huang, Yuxin Sun, Zhengkang Zuo*. A Multivariate Feature Fusion-based Joint Model for Multi-intent Detection and Slot Filling. Journal of Intelligent & Fuzzy Systems(SCI), 2024, Accept with minor revision.

  19. Changjing Wang, Huiwen Jiang, Yuxin Wang, Qing Huang*, Zhengkang Zuo*. Research on Smart Contract Vulnerability Detection Method Based on Domain Features of Solidity Contracts and Attention Mechanism[J]. Journal of Intelligent & Fuzzy Systems(SCI), 2023, 45(1): 1513-1525.

  20. Fuqi Cai, Changjing Wang, Qing Huang, Zhengkang Zuo, Yunyan Liao. Search for Compatible Source Code[J]. International Journal of Software Engineering and Knowledge Engineering (SCI, CCF-C), 2021, 31(3): 477- 502.

  21. Zhengkang Zuo, Zhihao Liu, Changjing Wang, Zhen You, Qimin Hu. Apla Generic Constraint Matching Detection and Verification[C]. 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS, Core Conference Ranking- A).

  22. Zhengkang Zuo, Yue Fang, Qing Huang, Yunyan Liao, Yuan Wang, Changjing Wang. Non-Recursive Algorithm Derivation and Formal Proof of Binary Tree Traversal Class Problems[C]. 2020 20th IEEE International Conference on Software Quality, Reliability and Security Companion (QRS, CCF-C).

  23. Changjing Wang, Fan Xu, Haimei Luo, Qing Huang, Zhengkang Zuo*. Development Method of Three Kinds of Typical Tree Structure Algorithms and Isabelle-based Machine Assisted Verification[C]. 2020 20th IEEE International Conference on Software Quality, Reliability and Security(QRS, CCF-C).

  24. Le Yang, Huanhuan Zhang, Zhengkang Zuo, Jun Peng, Xiaoyun Yu, Huibin Long, Yuanjun Liao. AFU-Net A Novel U-Net Network for Rice Leaf Disease Segmentation[J]. Applied Engineering in Agriculture(SCI), 2023, 39(5): 519-528.

  25. Qimin Hu, Jinyun Xue, Zhen You, Zhuo Chen, Zhengkang Zuo. Formal Development and Verification of Reusable Component in PAR Platform[C]. ICFEM 2019, SOFL+MSVL 2019 Workshop, LNCS 12028, pp. 155–166, 2020. (CCF-C)

  26. 王昌晶, 王忠文, 潘丞, 黄箐, 罗海梅, 左正康*. 基于模型驱动的分治并行函数式程序生成及自动验证[J].信息安全学报(CCF-B, CSCD 核心), 2023, 8(3): 85-102.

  27. Zhengkang Zuo, Yuekun Wang, Zanyang Liang, Wei Su, Qing Huang, Yuan Wang, Changjing Wang. Program Construction Method of Sequential Statistics Class Algorithm Based on Bidirectional Scanning Induction[J]. Wuhan University Journal of Natural Sciences(CSCD核心), 2023, 28(6): 483-492.

  28. Zhengkang Zuo, Ying Hu, Qing Huang, Yuan Wang, Changjing Wang. Automatic Algorithm Programming Model based on Improved Morgan Refinement Method[J]. Wuhan University Journal of Natural Sciences (CSCD核心), 2022, 27(5), 405-414.

  29. Zhengkang Zuo, Zhipeng Huang, Yue Fang, Qing Huang, Yuan Wang, Changjing Wang. A Unified Strategy for The Derivation and Formal Proof of Binary Tree Non-Recursive Problems[J]. Wuhan University Journal of Natural Sciences (CSCD核心), 2022, 27(5), 415-423.

  30. Zhengkang Zuo, Wei Su, Zanyang Liang, Qing Huang, Yuan Wang, Changjing Wang. A Formal Method for Developing Algebraic and Numerical Algorithms[J]. Wuhan University Journal of Natural Sciences(CSCD核心), 2021, 26(2): 191-199.

  31. Zhengkang Zuo, Jinyun Xue, Changjing Wang. Constraint Verification of Generic Algorithmic Program for Solving General Network Path Problems[J]. Journal of Networks(EI, JA), 2013, 8(5):1050-1057.

  32. Zhengkang Zuo, Jinyun Xue, Changjing Wang. Closed Semi-ring Constraint Verification of Generic Kleene Algorithm[J]. Journal of Computational Information Systems(EI, JA), 2013, 9(22):9047-9054.

  33. Changjing Wang, Zhongxiong Cao, Chuling Yu, Changchang Wang, Qing Huang, Zhengkang Zuo*. Nonlinear Program Construction and Verification Method Based on Partition Recursion and Morgan's Refinement Rules[J]. Wuhan University Journal of Natural Sciences(CSCD核心), 2023, 28(3),246-256.

  34. Changjing Wang, Xilong Ding, Jiangfei He, Xi Chen, Qing Huang, Haimei Luo, Zhengkang Zuo*. A Method to Deduce and Synthesize the Dafny Programs[J]. Wuhan University Journal of Natural Sciences(CSCD核心), 2021, 26(6):481-488.

  35. Changjing Wang, Huiwen Jiang, Jingshan Zeng, Min Yu, Qing Huang*, Zhengkang Zuo*. A Review of Blockchain Layered Architecture and Technology Application Research[J]. Wuhan University Journal of Natural Sciences(CSCD核心), 2021, 26(5):415-428.

  36. 王昌晶，丁希龙，陈茜，罗海梅，左正康*. 基于模型驱动的 Web 服务建模与三阶段模型转换方法[J]. 计算机科学 (CCF-B, CSCD)，2022, 49(11A): 787-800.

  37. 左正康, 梁赞杨, 苏崴, 黄箐，王渊, 王昌晶. 序列折半划分问题的形式化推导[J]. 计算机工程与科学 (CCF-T2, CSCD). 2022, 44(6): 1063-1071.

  38. 左正康,游珍,薛锦云.后序遍历二叉树非递归算法的推导及形式化证明[J].计算机工程与科学(CCF-T2, CSCD). 2010,32(3):119-123.

  39. 左正康, 黄志鹏, 黄箐, 王渊, 王昌晶. 程序求精新策略及自动验证方法研究[J]. 郑州大学学报 (理学版), 2022, 54(5): 1-7.


指导学生获奖

----------------------------------------------------------------------------------------------------------------------

研究生：

  1. 李子帅，21级研究生，2023-2024学年江西省政府研究生奖学金，2024。

  2. 苏崴，19级研究生，获得2023年江西师范大学优秀硕士学位论文奖，2024。

  3. 曾志城，潘书琪，孙钰昕，2023第二十届中国研究生数学建模竞赛二等奖，全校唯一，2023。

  4. 曾志城，21级研究生，2023年教育部硕士研究生国家奖学金，2023。

  5. 袁志强，20级研究生，2022-2023学年江西省政府研究生奖学金，2023。

  6. 胡颖，20级研究生，2022-2023学年江西省政府研究生奖学金，2023。

  7. 赵帅，21级研究生，2022-2023学年江西师范大学爱国.同心奖学金，全院唯一，2023。

  8. 刘智溢等，主持完成2022 年度国家级大学生创新创业训练计划项目，2023。

  9. 胡颖，20级研究生，主持完成江西省研究生创新基金资助项目，2023。

  10. 袁志强，20级研究生，主持完成江西省研究生创新基金资助项目，2023。

  11. 邹舟，22级研究生，主持江西师范大学研究生创新基金资助项目，2023。

  12. 黄志鹏，20级研究生，2022年教育部硕士研究生国家奖学金，2022。

  13. 袁志强，20级研究生，2022年江西师范大学智德奖学金，全院唯一，2022。

  14. 袁志强，20级研究生，2021-2022学年江西师范大学爱国.同心奖学金，全院唯一，2022。

  15. 曾志城，潘书琪，王玥坤，2022年第十九届中国研究生数学建模竞赛三等奖，2022。

  16. 刘志豪，17级研究生，获得2021年江西师范大学优秀硕士学位论文奖，2022。

  17. 苏崴，19级研究生，2021年度江西省首批研究生十佳实践之星（A1级金奖），全校唯一，2021。

  18. 苏崴，19级研究生，2021年教育部硕士研究生国家奖学金，2021。

  19. 方越，18级研究生，2020-2021学年江西省政府研究生奖学金，2021。

  20. 黄志鹏、钟治忠、肖英剑，2021年江西省研究生数学建模竞赛一等奖，2021。

  21. 周卫星，16级研究生，2018年教育部硕士研究生国家奖学金，2018。

本科生：

  1. 廖滇书，CCF-A顶级期刊TOSEM发表论文，全额奖学金录取澳大利亚国立大学博士，2023。

  2. 洪钰婷，2022届本科生“百优毕业论文（设计），2022。

  3. 黄苏佳，2021届本科生“百优毕业论文（设计），2021。

  4. 符雅雯，江俊澎，杨睿萱，2021年全国数字媒体艺术大赛二等奖（A3），2021。

  5. 符雅雯，江俊澎，杨睿萱，2021年全国数字媒体艺术大赛江西赛区一等奖（A3），2021。

  6. 何振婷、范月异、廖艺东，2020年中国大学生计算机设计大赛全国二等奖（A3），2020。

  7. 李忠怡、陈雨婷、黄家欣，2020年中国大学生计算机设计大赛全国三等奖（A3），2020。

  8. 雷俊飞、魏海彬、程蕾磊，2020年中国大学生计算机设计大赛全国三等奖（A3），2020。


荣誉奖励

----------------------------------------------------------------------------------------------------------------------

  1. 2021年首届江西省“双十佳研究生”指导老师. 江西省教育厅, 其他, 省部一等奖, 2021.

  2. 2023年第二十届中国研究生数学建模竞赛二等奖指导老师，中国研究生数学建模竞赛组委会, 其他, 其他, 2023.

  3. 2022年第十九届中国研究生数学建模竞赛三等奖指导老师，中国研究生数学建模竞赛组委会, 其他, 其他, 2022.

  4. 2021年江西省研究生数学建模竞赛一等奖指导老师，江西省人民政府，2021.

  5. 2023第4届全国高校教师教学元宇宙数字化技术创新大赛二等奖（全国普通高校教师教学竞赛清单内赛事）, 2023.

  6.  2021年全国高校数字艺术设计大赛优秀指导老师，全国高校数字艺术设计大赛组委会（A3,中国高等教育学会公布的普通高校学科竞赛项目），2021.8.

  7. 2022年第十三届蓝桥杯全国软件和信息技术专业人才大赛优秀指导教师，工业和信息化部人才交流中心、蓝桥杯大赛组委会（A3,中国高等教育学会公布的普通高校学科竞赛项目），2022.5.

  8. 2022年第五届大学生计算机技能应用大赛优秀指导老师，工业和信息部工业文化发展中心，2022.7.

  9. 2021年数维杯国际大学生数学建模竞赛优秀指导老师，2022.1.

  10. 2019-2020年度江西师范大学“三育人”先进工作者，2021.9.

  11. 2017-2018年度江西师范大学工会工作“积极分子”，2019.3.

  12. 2015、2019、2020、2022年4年教学质量评价为优秀， 2019、2020、2022年所授课程获评优课.

  13. 2014—2022年度第二、三、四轮聘期考核“优秀” （连续9年）.

  14. 2018、2021、2022年被评为年度考核优秀个人.

  15. 领跑者5000中国精品科技期刊顶尖学术论文奖，科技部中国科学技术信息研究所, 其他, 其他, 2017.

  16. “全国理论计算机科学学术年会”优秀论文奖，后序遍历二叉树非递归算法的形式化推导及证明，中国计算机学会, 2008.9.

  17. “全国理论计算机科学学术年会”优秀论文奖，图遍历的非递归算法生成与形式化证明技术研究，中国计算机学会, 2009.8.


专利/软著

----------------------------------------------------------------------------------------------------------------------

  1. 刘智溢，王昌晶，王渊，左正康，王薇，易伟，刘善福，董国荣. 基于信道探测的无人移动设备的加密通信方法及系统. 发明专利,已授权, 2023-03-31, 中国, 专利号：ZL 2023 1 0005318.8

  2. 刘智溢，王昌晶，刘善福，王渊，董国荣，左正康，刘金. 一种计算机双绞线用耐磨绝缘材料及其制备方法. 发明专利,已授权, 2024-02-09, 中国, 专利号：ZL 2022 1 0073718.8

  3. 左正康, 王昌晶. 一种软件自动测试装置. 实用新型专利,已授权, 2021-04-27, 中国, 专利号：ZL 2020 2 2593860.4

  4. 左正康，朱小影，王昌晶. 教学督导系统V1.0. 著作权人：江西师范大学. 软著登字第12392855号，登记号：2023SR1805682. 开发完成日期：2023.04.16，登记日期：2023.12.29

  5. 左正康，赵帅，王昌晶. 基于Java Web的网上书城管理系统系统V1.0. 著作权人：江西师范大学. 软著登字第9022334号，登记号：2022SR0068135. 开发完成日期：2021.10.20，登记日期：2022.01.11

  6. 左正康，潘书琪，王昌晶. 扫码煎药机智能物联网控制系统V1.0. 著作权人：江西师范大学. 软著登字第9022385号，登记号：2022SR0068186. 开发完成日期：2021.10.26，登记日期：2022.01.11

  7. 左正康，袁志强，王昌晶.计算机视觉人脸识别系统V1.0. 著作权人：江西师范大学. 软著登字第7926463号，登记号：2021SR1203837. 开发完成日期：2021.6.10，登记日期：2021.08.13

  8. 左正康，胡颖，王昌晶. 教育培训管理系统V1.0. 著作权人：江西师范大学. 软著登字第7937343号，登记号：2021SR1214717. 开发完成日期：2021.6.25，登记日期：2021.08.17

  9. 左正康，刘晓丹, 方越. 企业资产管理系统V1.0. 著作权人：江西师范大学. 软著登字第5775362号，登记号：2020SR0896666. 开发完成日期：2019.6.20，登记日期：2020.08.07

  10. 左正康，梁赞杨. 企业考勤系统V1.0. 著作权人：江西师范大学. 软著登字第5014530号，登记号：2020SR0135834. 开发完成日期：2019.10.15，登记日期：2020.02.13

  11. 左正康, 薛锦云. PAR平台C++程序生成系统V1.0. 著作权人：江西省高校软件科学技术中心. 软著登字第110621号，登记号：2008SR23442. 开发完成日期：2008.7.20，登记日期：2008.10.10


社会（学术）兼职

----------------------------------------------------------------------------------------------------------------------

 CCF高级会员，CCF理论计算机科学专委会和形式化方法专委会执委，江西省计算机学会高可信软件形式化方法专委会副秘书长，江西省城市安全信息化学会理事，江西省工信厅软件和虚拟现实专家遴选评审会评组组长，江西省工信厅2023首版次软件产品评审会评组组长，南昌市高层次科技创新人才“双百计划”项目验收委员会主任，2021年全国理论计算机科学学术年会论坛主席。国家自然科学基金信息科学部评审专家，教育部学位中心评审专家，2020年-2023年全国理论计算机科学学术年会程序委员会委员，中国大学生服务外包创新创业大赛评审专家库成员。湖北、安徽、湖南、云南、黑龙江、江西等六省自然科学基金评审专家，江西省司法鉴定专家库专家，江西省计算机学会网络化智能教育专业委员会委员，南昌市司法鉴定协会专业委员会委员，江西省人工智能学会会员。江西和壹科技有限公司技术总监，江西神州司法鉴定中心声像资料司法鉴定人。第五届国际通信与信息系统会议（ICCIS 2021）程序委员会委员，《International Journal of Pattern Recognition and Artificial Intelligence》（SCI）、《Journal of Software: Evolution and Process》（SCI）、《软件学报》审稿专家。
 

版权： 江西师范大学(Jiangxi Normal University)ICP备案编号：赣B2-20050166号-1

学校地址： ［瑶湖校区］江西省南昌市紫阳大道99号邮政编码：330022
［青山湖校区］江西省南昌市北京西路437号邮政编码：330027

微信