左正康(江西師範大學教授)

本詞條是多義詞，共2個義項
更多義項 ▼ 收起列表 ▲

左正康，校聘教授，碩士生導師，博士畢業於中國科學院大學。江西省自然科學基金重點項目負責人，江西省首屆“雙十佳研究生”指導老師，CCF高級會員，CCF理論計算機科學專委會和形式化方法專委會執委，江西省計算機學會高可信軟體形式化方法專委會副秘書長，江西省城市安全信息化學會理事，江西省工信廳軟體和虛擬現實專家遴選評審會評組組長，南昌市高層次科技創新人才“雙百計畫”項目驗收委員會主任，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項，軟體著作權10餘項，以第一作者身份在科學出版社出版學術專著1部。多次受邀在國際國內重要學術會議上做學術報告，包括 ICECCS、QRS、ICCIS、CCF 中國軟體大會 ChinaSoft 和全國理論計算機科學學術年會等，受邀擔任2020 - 2023年全國理論計算機科學學術年會程式委員會委員。

基本介紹

  • 中文名：左正康
  • 畢業院校：中國科學院軟體研究所 
  • 學位/學歷：博士 
  • 職業：教師
  • 專業方向：計算機科學
  • 學術代表作：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.（唯一通訊作者） 
    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.（唯一通訊作者） 
    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.（唯一通訊作者） 
    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.（通訊作者） 
    Specification Transformation Method for Functional Program Generation Based on Partition-recursion Refinement Rule[J]. Information Sciences(SCI一區), 2023, 633: 613–632.（第一作者）） 
    ERoots: A Three-Dimensional Dynamic Growth Model of Rice Roots Coupled with Soil. Biosystems Engineering(SCI一區), 2024, 244: 122-133.（通訊作者） 
    LLRB 算法的函式式建模及其機械化驗證[J].軟體學報(CCF- A), DOI:10.13328/j.cnki.jos.007034, 2023.（第一作者）） 
    搶占式調度問題的 PPTA 模型與驗證方法[J].軟體學報(CCF- A), DOI: 10.13328/j.cnki.jos.006969, 2023.（第一作者） 
    Trie+結構函式式建模、機械化驗證及其套用[J]. 軟體學報(CCF- A),2024, DOI: 10.13328/j.cnki.jos.007135.（第一作者） 
    命令式動態規劃類算法程式推導及機械化驗證[J]. 軟體學報(CCF- A),2024, DOI: 10.13328/j.cnki.jos.007134.（第一作者） 
    Apla中泛型約束機制研究[J].軟體學報(CCF- A),2015,26(6):1340-1355.（第一作者）） 
    左正康, 王昌晶.分劃遞推法中泛型約束機制[M]. 科學出版社, 2022. 
  • 主要成就：中國計算機學會CCF高級會員 
  • 任職院校：江西師範大學計算機信息工程學院
  • 社會兼職：中國計算機學會理論計算機科學專委會委員 
課題項目,科研成果,指導學生獲獎,榮譽獎勵,專利軟著,社會學術兼職,

課題項目

  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.
  9. 左正康,趙帥,王昌晶,謝武平,黃箐.搶占式調度問題的 PPTA 模型與驗證方法[J].軟體學報(CCF- A), DOI: 10.13328/j.cnki.jos.006969, 2023.
  10. 左正康, 柯雨含, 黃箐, 王玥坤, 曾志城, 王昌晶. Trie+結構函式式建模、機械化驗證及其套用[J]. 軟體學報(CCF- A),2024, DOI: 10.13328/j.cnki.jos.007135.
  11. 左正康, 孫歡, 王昌晶, 游珍, 黃箐, 王唱唱. 命令式動態規劃類算法程式推導及機械化驗證[J]. 軟體學報(CCF- A),2024, DOI: 10.13328/j.cnki.jos.007134.
  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）、《軟體學報》審稿專家。

相關詞條

熱門詞條

聯絡我們