基本情况
---------------------------------------------------------------------------------------------------------------------
姓名：左正康
职务：高性能计算江西省重点实验室副主任
职称：教授
学历：博士研究生
邮箱：zuo803@jxnu.edu.cn
个人简介
----------------------------------------------------------------------------------------------------------------------
左正康，教授，博士，毕业于中国科学院大学，入选江西省省级高层次人才，任高性能计算江西省重点实验室副主任。荣获江西省首届研究生“双十佳”指导教师、江西省优秀硕士学位论文指导教师等荣誉，并被评为校“三育人”先进工作者。
学术任职方面，左正康担任中国计算机学会（CCF）高级会员，兼任理论计算机科学专委会、形式化方法专委会执行委员，并在地方学术组织中担任江西省计算机学会高可信软件形式化方法专委会副秘书长、江西省城市安全信息化学会理事等职务。此外，他还多次出任江西省工信厅软件评审专家组组长以及南昌市高层次科技创新人才“双百计划”项目验收委员会主任。
科研方面，左正康主持国家级项目 4 项，包括3项国家自然科学基金和1项国家留学基金面上项目；主持省部级项目 4 项，含江西省自然科学基金重点项目；主持厅级项目 3 项，其中重点 1 项。学术成果丰硕，以第一作者或通讯作者身份在 CCF-A 类国际期刊(如ACM TOSEM、IEEE TSE、IEEE TSC)、CCF-A 类国内期刊（如《软件学报》、《电子学报》）、中科院一区TOP期刊(如Information Sciences、Biosystems Engineering)以及JCR一区期刊(如IEEE Transactions on Reliability)等刊物发表论文 50 余篇。荣获科技部领跑者5000中国精品科技期刊顶尖学术论文奖和“全国理论计算机科学学术年会”优秀论文奖。出版学术专著 2 部（含科学出版社），获授权3 项国家发明专利、1 项实用新型专利和10 余项软件著作权。
学术影响力方面，左正康担任国家自然科学基金信息科学部评审专家、教育部学位中心评审专家，并且是《Biosystems Engineering》《软件学报》等国内外顶级期刊审稿专家。他积极参与学术交流，连续五年（2020 - 2024）担任全国理论计算机科学学术年会程序委员，且在2021年担任ICCIS 国际会议程序委员和全国理论计算机科学学术年会分论坛主席，多次受邀在国内外知名学术会议作学术报告，如 ICECCS、QRS、CCF中国软件大会、全国理论计算机科学学术年会等。
研究领域：高可信与智能化软件、农业AI
招生方向：学术型硕士（计算机科学与技术、软件工程）；专业硕士（计算机技术、软件工程、大数据技术与工程、人工智能、网络与信息安全）
教育背景
----------------------------------------------------------------------------------------------------------------------
博士 2005.09-2011.09 中国科学院大学计算机软件与理论
硕士 2001.09-2004.06 江西师范大学计算机软件与理论
课题项目
----------------------------------------------------------------------------------------------------------------------
1. 国家自然科学基金地区科学基金项目（编号：62462036），2025.1-2028.12，32万元，主持
2. 国家自然科学基金地区科学基金项目（编号：61862033），2019.1-2022.12，38万元，主持
3. 国家自然科学基金地区科学基金项目（编号：61462039），2015.1-2018.12，44万元，主持
4. 国家留学基金面上项目（编号：202008360094），2020.7-2022.12，15万元，主持
5. 江西省自然科学基金重点项目（编号: 20242BAB26017），2024.7-2027.6，20万元，主持
6. 江西省自然科学基金面上项目(编号: 20232BAB202010)，2023.7-2025.6，10万元，主持
7. 江西省自然科学基金面上项目（编号：20202BABL202026），2020.1-2021.12，6万元，主持
8. 江西省自然科学基金青年项目（编号：20142BAB217023），2014.1-2016.6，结题获评“优秀”，5万元，主持
9. 江西省教育厅科学技术研究重点项目（编号GJJ210307），2022.1-2024.12, 5万元，主持
10. 江西省教育厅科学技术研究面上项目（编号：GJJ150349），2016.1-2018.12，3万元，主持
11. 江西省教育厅科学技术研究青年项目（编号：GJJ14268），2014.1-2014.12，1.5万元，主持
代表性论著（*代表通讯作者）
----------------------------------------------------------------------------------------------------------------------.
1. 左正康, 王昌晶.分划递推法中泛型约束机制[M]. 科学出版社, 2022.
2. 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.
3. 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.
4. 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[J]. Biosystems Engineering(SCI，中科院一区), 2024.
5. 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，JCR一区), 2023.
6. 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，JCR一区), 2023.
7. Zhengkang Zuo, Yuhan Ke, Ying Hu, Qing Huang, Zhicheng Zeng, Changjing Wang. Modeling and Verification of MRSCAN Based on MapReduce Framework[J]. IEEE Transactions on Reliability(SCI，JCR一区), 2025.
8. 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，JCR一区) , 2024.
9. 左正康, 黄志鹏, 黄箐, 孙欢, 曾志城, 胡颖, 王昌晶. LLRB 算法的函数式建模及其机械化验证[J].软件学报(CCF- A), 2023.
10.左正康,赵帅,王昌晶,谢武平,黄箐.抢占式调度问题的 PPTA 模型与验证方法[J].软件学报(CCF- A), 2023.
11.左正康, 柯雨含, 黄箐, 王玥坤, 曾志城, 王昌晶. Trie+结构函数式建模、机械化验证及其应用[J]. 软件学报(CCF- A),2024.
12. 左正康, 孙欢, 王昌晶, 游珍, 黄箐, 王唱唱. 命令式动态规划类算法程序推导及机械化验证[J]. 软件学报(CCF- A), 2024.
13. 左正康, 刘增鑫, 柯雨含, 游珍, 王昌晶. 动态顺序统计树类结构的函数式建模及其自动化验证[J]. 软件学报(CCF- A),2024.
14.左正康,薛锦云.Apla中泛型约束机制研究[J].软件学报(CCF- A),2015.
15.左正康,张晗庆,王昌晶,游珍.IntervalTree+结构的函数式建模、机械化验证及其应用[J].电子学报(CCF- A), 2025.
指导学生获奖
----------------------------------------------------------------------------------------------------------------------
研究生：
1. 苏崴，19级研究生，2021年度江西省首批研究生十佳实践之星（A1级金奖）, 2021, 全校唯一。
2. 曾志城，潘书琪，孙钰昕，2023第二十届中国研究生数学建模竞赛二等奖，2023，全校唯一。
3. 袁志强，20级研究生，2024年江西省优秀硕士学位论文，2025，全院唯一。
4. 袁志强，20级研究生，2022年江西师范大学智德奖学金，2022，全院唯一。
5. 赵帅，21级研究生，2022-2023学年江西师范大学爱国.同心奖学金，2023，全院唯一。
6. 袁志强，20级研究生，2021-2022学年江西师范大学爱国.同心奖学金，2022，全院唯一。
7. 柯雨含，22级研究生，2024年教育部硕士研究生国家奖学金，2024。
8. 曾志城，21级研究生，2023年教育部硕士研究生国家奖学金，2023。
9. 黄志鹏，20级研究生，2022年教育部硕士研究生国家奖学金，2022。
10. 苏崴，19级研究生，2021年教育部硕士研究生国家奖学金，2021。
11. 周卫星，16级研究生，2018年教育部硕士研究生国家奖学金，2018。
12. 李子帅，21级研究生，2023-2024学年江西省政府研究生奖学金，2024。
13. 袁志强，20级研究生，2022-2023学年江西省政府研究生奖学金，2023。
14. 胡颖，20级研究生，2022-2023学年江西省政府研究生奖学金，2023。
15. 方越，18级研究生，2020-2021学年江西省政府研究生奖学金，2021。
16. 周超，23级研究生，主持江西省研究生创新基金资助项目，2024。
17. 胡颖，20级研究生，主持完成江西省研究生创新基金资助项目，2023。
18. 袁志强，20级研究生，主持完成江西省研究生创新基金资助项目，2023。
19. 邹舟，22级研究生，主持江西师范大学研究生创新基金资助项目，2023。
20. 胡颖，20级研究生，2024年江西师范大学优秀硕士学位论文，2024。
21. 苏崴，19级研究生，2023年江西师范大学优秀硕士学位论文奖，2024。
22. 刘志豪，17级研究生，2021年江西师范大学优秀硕士学位论文奖，2022。
23. 曾志城，潘书琪，王玥坤，2022年第十九届中国研究生数学建模竞赛三等奖，2022。
24. 黄志鹏、钟治忠、肖英剑，2021年江西省研究生数学建模竞赛一等奖，2021。
25. 陈相龙、黄先伟、万浩聪，2024年江西省研究生数学建模竞赛二等奖，2024。
26. 李子帅、万震宇、孙彦帮，2022年江西省研究生数学建模竞赛二等奖，2022。
27. 轩瑞、陈桓、陈磊，2022年江西省研究生数学建模竞赛二等奖，2022。
28. 苏崴、丁希龙、胡颖，2021年江西省研究生数学建模竞赛二等奖，2021。
29. 汪建梅、丁希龙、罗斌，2020年江西省研究生数学建模竞赛二等奖，2020。
30. 刘智溢等，主持完成2022 年度国家级大学生创新创业训练计划项目，2023。
本科生：
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. 2024年江西省优秀硕士学位论文指导教师. 江西省教育厅, 2025.
3. 2023年第二十届中国研究生数学建模竞赛二等奖指导老师，中国研究生数学建模竞赛组委会, 其他, 其他, 2023.
4. 2022年第十九届中国研究生数学建模竞赛三等奖指导老师，中国研究生数学建模竞赛组委会, 其他, 其他, 2023.
5. 2021年江西省研究生数学建模竞赛一等奖（最高奖项）指导老师，江西省人民政府，2021.
6. 2023第4届全国高校教师教学元宇宙数字化技术创新大赛二等奖（全国普通高校教师教学竞赛清单内赛事）, 2023.
7. 2024江西省虚拟现实教学应用创新大赛二等奖, 基于庐山元宇宙的数字化图算法虚拟仿真实训平台，2024年12月.
8. 2021年全国高校数字艺术设计大赛优秀指导老师，全国高校数字艺术设计大赛组委会（A3,中国高等教育学会公布的普通高校学科竞赛项目），2021.8.
9. 2022年第十三届蓝桥杯全国软件和信息技术专业人才大赛优秀指导教师，工业和信息化部人才交流中心、蓝桥杯大赛组委会（A3,中国高等教育学会公布的普通高校学科竞赛项目），2022.5.
10. 2019-2020年度江西师范大学“三育人”先进工作者，2021.9.
11. 江西师范大学“弘扬教育家精神，讲述我的育人故事”征集展示活动作品优秀奖，2024.9
12. 2017-2018年度江西师范大学工会工作“积极分子”，2019.3.
13. 2015、2019、2020、2022年4年教学质量评价为优秀， 2019、2020、2022、2023年所授课程获评优课. 其中，2023年度学院专业课程“优课”评选获评第一.
14. 2014—2022年度第二、三、四轮聘期考核“优秀”（连续9年）.
15. 2018、2021、2022年被评为年度考核优秀个人.
16. 领跑者5000中国精品科技期刊顶尖学术论文奖，科技部中国科学技术信息研究所, 其他, 其他, 2017.
17. “全国理论计算机科学学术年会”优秀论文奖，后序遍历二叉树非递归算法的形式化推导及证明，中国计算机学会, 2008.9.
18. “全国理论计算机科学学术年会”优秀论文奖，图遍历的非递归算法生成与形式化证明技术研究，中国计算机学会, 2009.8.
专利/软著
----------------------------------------------------------------------------------------------------------------------
1. 黄箐，李子帅，左正康，邢振昌，曾锦山，王昌晶. 面向API推荐的基于知识图谱驱动路径优化的意图澄清方法. 发明专利,已授权, 2024-11-29, 中国, 专利号：ZL 2023 1 0757316.4
2. 刘智溢，王昌晶，王渊，左正康，王薇，易伟，刘善福，董国荣. 基于信道探测的无人移动设备的加密通信方法及系统. 发明专利,已授权, 2023-03-31, 中国, 专利号：ZL 2023 1 0005318.8
3. 游珍，汪宇涛，王昌晶，薛锦云，左正康，万梓康. 一种保证分布式虚拟环境实体行为一致性的验证方法. 发明专利,已授权, 2024-11-19, 中国, 专利号：ZL 2024 1 1110301.X
4. 左正康, 王昌晶. 一种软件自动测试装置. 实用新型专利,已授权, 2021-04-27, 中国, 专利号：ZL 2020 2 2593860.4
5. 左正康，刘梦婷，王昌晶. 旅游市场营销中大数据分析与精准营销策略制定平V1.0. 著作权人：江西师范大学. 软著登字第15035213号，登记号：2025SR0379015. 登记日期：2025.3.4
6. 左正康，何聪，王昌晶. 基于Java的宿舍管理系统V1.0. 著作权人：江西师范大学. 软著登字第15035690号，登记号：2025SR0379492. 登记日期：2025.3.4
7. 左正康，朱小影，王昌晶. 教学督导系统V1.0. 著作权人：江西师范大学. 软著登字第12392855号，登记号：2023SR1805682. 开发完成日期：2023.04.16，登记日期：2023.12.29
8. 左正康，赵帅，王昌晶. 基于Java Web的网上书城管理系统系统V1.0. 著作权人：江西师范大学. 软著登字第9022334号，登记号：2022SR0068135. 开发完成日期：2021.10.20，登记日期：2022.01.11
9. 左正康，潘书琪，王昌晶. 扫码煎药机智能物联网控制系统V1.0. 著作权人：江西师范大学. 软著登字第9022385号，登记号：2022SR0068186. 开发完成日期：2021.10.26，登记日期：2022.01.11
10. 左正康，袁志强，王昌晶.计算机视觉人脸识别系统V1.0. 著作权人：江西师范大学. 软著登字第7926463号，登记号：2021SR1203837. 开发完成日期：2021.6.10，登记日期：2021.08.13
11. 左正康，胡颖，王昌晶. 教育培训管理系统V1.0. 著作权人：江西师范大学. 软著登字第7937343号，登记号：2021SR1214717. 开发完成日期：2021.6.25，登记日期：2021.08.17
12. 左正康，刘晓丹, 方越. 企业资产管理系统V1.0. 著作权人：江西师范大学. 软著登字第5775362号，登记号：2020SR0896666. 开发完成日期：2019.6.20，登记日期：2020.08.07
13. 左正康，梁赞杨. 企业考勤系统V1.0. 著作权人：江西师范大学. 软著登字第5014530号，登记号：2020SR0135834. 开发完成日期：2019.10.15，登记日期：2020.02.13
14. 左正康, 薛锦云. PAR平台C++程序生成系统V1.0. 著作权人：江西省高校软件科学技术中心. 软著登字第110621号，登记号：2008SR23442. 开发完成日期：2008.7.20，登记日期：2008.10.10
社会（学术）兼职
----------------------------------------------------------------------------------------------------------------------
CCF高级会员，CCF理论计算机科学专委会和形式化方法专委会执委，江西省计算机学会高可信软件形式化方法专委会副秘书长，江西省城市安全信息化学会理事，江西省工信厅软件和虚拟现实专家遴选评审会评组组长，江西省工信厅2023首版次软件产品评审会评组组长，南昌市高层次科技创新人才“双百计划”项目验收委员会主任，2021年全国理论计算机科学学术年会论坛主席。国家自然科学基金信息科学部评审专家，教育部学位中心评审专家，2020年-2024年全国理论计算机科学学术年会程序委员会委员，中国大学生服务外包创新创业大赛评审专家库专家。湖北、安徽、湖南、云南、黑龙江、江西等六省自然科学基金评审专家，江西省司法鉴定专家库专家。江西和壹科技有限公司技术总监，江西神州司法鉴定中心声像资料司法鉴定人。第五届国际通信与信息系统会议（ICCIS 2021）程序委员会委员，《Biosystems Engineering》(SCI，中科院一区)、《International Journal of Pattern Recognition and Artificial Intelligence》（SCI）、《Journal of Software: Evolution and Process》（SCI，CCF-B）、《软件学报》审稿专家。
