基本情况
---------------------------------------------------------------------------------------------------------------------
姓名：左正康
职称：教授
导师类别：博士生导师
职务：高性能计算江西省重点实验室副主任
学位：中国科学院大学博士
学会荣誉：中国计算机学会（CCF）杰出会员
邮箱：zuo803@jxnu.edu.cn
个人简介
----------------------------------------------------------------------------------------------------------------------
左正康，中国科学院大学博士，现任江西师范大学人工智能学院教授、博士生导师，高性能计算江西省重点实验室副主任。入选江西省省级高层次人才，获评江西省研究生“双十佳”导师，并连续两年（2024、2025）获评省级优秀硕士学位论文指导教师。获评中国计算机学会（CCF）杰出会员，担任CCF理论计算机科学专委会与形式化方法专委会执行委员，并兼任江西省计算机学会高可信软件形式化方法专委会副秘书长、江西省城市安全信息化学会理事。受邀担任《软件学报》、《计算机研究与发展》及多本SCI一区期刊审稿人，并任《江西师范大学学报（自然科学版）》编委。主要从事高可信与智能化软件研究。以第一/通讯作者在 CCF-A 类中英文期刊（如ACM TOSEM、IEEE TSE、IEEE TSC、《软件学报》、《计算机研究与发展》、《电子学报》等）以及SCI一区期刊（如IEEE Transactions on Reliability、Biosystems Engineering、Information Sciences等）等刊物发表论文 60 余篇，出版专著《分划递推法中泛型约束机制》（科学出版社），主编国家级教材3部。主持国家自然科学基金项目3项、国家留学基金委面上项目1项、省自然科学基金重点项目等省部级课题4项。获科技部领跑者5000中国精品科技期刊顶尖学术论文奖和“全国理论计算机科学学术年会”优秀论文奖。曾多次担任全国理论计算机科学学术年会程序委员会委员及分论坛主席，并多次受邀在 ICECCS、QRS、CCF 中国软件大会 ChinaSoft 以及全国理论计算机科学学术年会等重要国内外学术会议上作学术报告。
招生方向：学术型博士（数据科学与智能管理）；学术型硕士（计算机科学与技术、软件工程）；专业硕士（计算机技术、软件工程、大数据技术与工程、人工智能、网络与信息安全）
教育背景
----------------------------------------------------------------------------------------------------------------------
博士 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] Answering Uncertain, Under-Specified API Queries Assisted by Knowledge-Aware Human-AI Dialogue[J]. IEEE Transactions on Software Engineering(CCF-A，SCI，中科院一区), 2023.
[3] 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.
[4] Specification Transformation Method for Functional Program Generation Based on Partition-recursion Refinement Rule[J]. Information Sciences(SCI，中科院一区), 2023.
[5] ERoots: A Three-Dimensional Dynamic Growth Model of Rice Roots Coupled with Soil[J]. Biosystems Engineering(SCI，中科院一区), 2024.
[6] 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] Modeling and Verification of MRSCAN Based on MapReduce Framework[J]. IEEE Transactions on Reliability(SCI，JCR一区), 2025.
[8] Functional Modeling and Mechanized Verification of Bisimulations for NFTS[J]. IEEE Transactions on Reliability(SCI，JCR一区), 2025.
[9] Modeling and Verification Methods for Spatio-temporal Consistency of CPS in Uncertain Environment[J]. IEEE Transactions on Reliability(SCI，JCR一区) , 2024.
[10] 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.
[11] 引理库驱动的线性数据结构算法定理自动证明[J].软件学报(CCF- A),2026.
[12] 动态顺序统计树类结构的函数式建模及其自动化验证[J].软件学报(CCF- A),2025.
[13] Trie+结构函数式建模、机械化验证及其应用[J]. 软件学报(CCF- A),2024.
[14] 命令式动态规划类算法程序推导及机械化验证[J]. 软件学报(CCF- A), 2024.
[15] LLRB 算法的函数式建模及其机械化验证[J].软件学报(CCF- A), 2023.
[16] 抢占式调度问题的 PPTA 模型与验证方法[J].软件学报(CCF- A), 2023.
[17] Apla中泛型约束机制研究[J].软件学报(CCF- A),2015.
[18] Isabelle驱动的搜索树类算法建模及自动化验证[J]．计算机研究与发展(CCF- A),2026.
[19] 自适应优先搜索树的函数式建模、验证及访问优化[J]．计算机研究与发展(CCF- A),2026.
[20] IntervalTree+结构的函数式建模、机械化验证及其应用[J].电子学报(CCF- A), 2025.
[21] 基于模型驱动的分治并行函数式程序生成及自动验证[J]. 信息安全学报, 2023.
指导学生荣誉
----------------------------------------------------------------------------------------------------------------------
研究生：
[1] 袁志强，20级研究生，录取复旦大学博士，2023。
[2] 李子帅，21级研究生，录取武汉大学博士，2024。
[3] 邹舟，22级研究生，录取武汉大学博士，2025。
[4] 苏崴，19级研究生，2021年度江西省首批研究生十佳实践之星（A1级金奖）, 2021, 全校唯一。
[5] 曾志城，潘书琪，孙钰昕，2023第二十届中国研究生数学建模竞赛二等奖，2023，全校唯一。
[6] 袁志强，20级研究生，2024年江西省优秀硕士学位论文，2024，全院唯一。
[7] 曾志城，21级研究生，2025年江西省优秀硕士学位论文，2025。
[8] 袁志强，20级研究生，2022年江西师范大学智德奖学金，2022，全院唯一。
[9] 赵帅，21级研究生，2022-2023学年江西师范大学爱国.同心奖学金，2023，全院唯一。
[10] 袁志强，20级研究生，2021-2022学年江西师范大学爱国.同心奖学金，2022，全院唯一。
[11] 柯雨含，22级研究生，2024年教育部硕士研究生国家奖学金，2024。
[12] 曾志城，21级研究生，2023年教育部硕士研究生国家奖学金，2023。
[13] 黄志鹏，20级研究生，2022年教育部硕士研究生国家奖学金，2022。
[14] 苏崴，19级研究生，2021年教育部硕士研究生国家奖学金，2021。
[15] 周卫星，16级研究生，2018年教育部硕士研究生国家奖学金，2018。
[16] 周超，23级研究生，2025-2026学年江西省政府研究生奖学金，2026。
[17] 刘增鑫，22级研究生，2024-2025学年江西省政府研究生奖学金，2025。
[18] 张晗庆，22级研究生，2024-2025学年江西省政府研究生奖学金，2025。
[19] 李子帅，21级研究生，2023-2024学年江西省政府研究生奖学金，2024。
[20] 袁志强，20级研究生，2022-2023学年江西省政府研究生奖学金，2023。
[21] 胡颖，20级研究生，2022-2023学年江西省政府研究生奖学金，2023。
[22] 方越，18级研究生，2020-2021学年江西省政府研究生奖学金，2021。
[23] 周超，23级研究生，主持完成江西省研究生创新基金资助项目，2025。
[24] 胡颖，20级研究生，主持完成江西省研究生创新基金资助项目，2023。
[25] 袁志强，20级研究生，主持完成江西省研究生创新基金资助项目，2023。
[26] 刘梦婷，24级研究生，主持江西师范大学研究生创新基金资助项目，2025。
[27] 邹舟，22级研究生，主持完成江西师范大学研究生创新基金资助项目，2025。
[28] 王玥坤，21级研究生，2025年江西师范大学优秀硕士学位论文，2026。
[29] 胡颖，20级研究生，2024年江西师范大学优秀硕士学位论文，2024。
[30] 苏崴，19级研究生，2023年江西师范大学优秀硕士学位论文奖，2023。
[31] 刘志豪，17级研究生，2022年江西师范大学优秀硕士学位论文奖，2022。
[32] 曾志城，潘书琪，王玥坤，2022年第十九届中国研究生数学建模竞赛三等奖，2022。
[33] 黄志鹏、钟治忠、肖英剑，2021年江西省研究生数学建模竞赛一等奖，2021。
[34] 陈相龙、黄先伟、万浩聪，2024年江西省研究生数学建模竞赛二等奖，2024。
[35] 李子帅、万震宇、孙彦帮，2022年江西省研究生数学建模竞赛二等奖，2022。
[36] 轩瑞、陈桓、陈磊，2022年江西省研究生数学建模竞赛二等奖，2022。
[37] 苏崴、丁希龙、胡颖，2021年江西省研究生数学建模竞赛二等奖，2021。
[38] 汪建梅、丁希龙、罗斌，2020年江西省研究生数学建模竞赛二等奖，2020。
[39] 刘智溢等，主持完成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] 领跑者5000中国精品科技期刊顶尖学术论文奖，科技部中国科学技术信息研究所, 其他, 其他, 2017.
[2] 2021年首届江西省研究生“双十佳”指导教师. 江西省教育厅, 其他, 省部一等奖, 2021.
[3] 2024年江西省优秀硕士学位论文指导教师. 江西省教育厅, 2024.
[4] 2025年江西省优秀硕士学位论文指导教师. 江西省教育厅, 2025.
[5] 2023年第二十届中国研究生数学建模竞赛二等奖指导老师，中国研究生数学建模竞赛组委会, 其他, 其他, 2023.
[6] 2022年第十九届中国研究生数学建模竞赛三等奖指导老师，中国研究生数学建模竞赛组委会, 其他, 其他, 2023.
[7] 2021年江西省研究生数学建模竞赛一等奖（最高奖项）指导老师，江西省人民政府，2021.
[8] 2023第4届全国高校教师教学元宇宙数字化技术创新大赛二等奖（全国普通高校教师教学竞赛清单内赛事）, 2023.
[9] “全国理论计算机科学学术年会”优秀论文奖，后序遍历二叉树非递归算法的形式化推导及证明，中国计算机学会, 2008.9.
[10] “全国理论计算机科学学术年会”优秀论文奖，图遍历的非递归算法生成与形式化证明技术研究，中国计算机学会, 2009.8.
[11]2024江西省虚拟现实教学应用创新大赛二等奖, 基于庐山元宇宙的数字化图算法虚拟仿真实训平台，2024.12.
专利
----------------------------------------------------------------------------------------------------------------------
[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]基于大型预训练语言模型的API关系推理方法及系统. 发明专利,已授权, 2025-11-25, 中国, 专利号：ZL 2023 1 0697392.0
[5]一种软件自动测试装置. 实用新型专利,已授权, 2021-04-27, 中国, 专利号：ZL 2020 2 2593860.4
社会（学术）兼职
----------------------------------------------------------------------------------------------------------------------
CCF杰出会员，CCF理论计算机科学专委会和形式化方法专委会执行委员，江西省计算机学会高可信软件形式化方法专委会副秘书长，江西省城市安全信息化学会理事，江西省工信厅软件和虚拟现实专家遴选评审会评组组长，江西省工信厅2023首版次软件产品评审会评组组长，南昌市高层次科技创新人才“双百计划”项目验收委员会主任，2021年全国理论计算机科学学术年会论坛主席。国家自然科学基金信息科学部评审专家，教育部学位中心评审专家，2020年-2024年全国理论计算机科学学术年会程序委员会委员，中国大学生服务外包创新创业大赛评审专家库专家。湖北、安徽、湖南、云南、黑龙江、贵州、江西等七省自然科学基金评审专家，江西省司法鉴定专家库专家。江西和壹科技有限公司技术总监，江西神州司法鉴定中心声像资料司法鉴定人。第五届国际通信与信息系统会议（ICCIS 2021）程序委员会委员，《Biosystems Engineering》(SCI，中科院一区)、《Journal of Software: Evolution and Process》（SCI，CCF-B）、《ACM TALLIP》、《软件学报》、《计算机研究与发展》审稿专家，《江西师范大学学报（自然科学版）》编委。