左正康，男，1980年生，中國科學院軟體研究所博士，國家公派英國萊斯特大學訪問學者，江西師範大學教授、碩士生導師。中國計算機學會（CCF）理論計算機科學專委會和形式化方法專委會委員，國家自然科學基金信息科學部評審專家，教育部學位中心評審專家，湖南省、江西省科技計畫項目評審專家，江西和壹科技有限公司技術總監，《江西師範大學學報》（自然科學版）審稿專家，江西省人工智慧學會會員。主要研究方向為可信軟體、泛型程式設計。
基本介紹
- 中文名：左正康
- 職業：教師
- 畢業院校：中國科學院軟體研究所
- 學位/學歷：博士
- 專業方向：計算機科學
- 主要成就：中國計算機學會CCF高級會員
- 學術代表作：左正康,薛錦雲.Apla中泛型約束機制研究.軟體學報,2015,26(6): 1340-1355.
- 任職院校：江西師範大學計算機信息工程學院
- 社會兼職：中國計算機學會理論計算機科學專委會委員
承擔項目,科研成果,榮譽,科研榮譽,教學榮譽,
承擔項目
主持國家自然科學基金等國家級項目3項、省部級項目3項，主持完成國家自然科學基金重大國際（地區）合作研究項目子項目1項，第2重要參與完成國家自然科學基金面上項目2項、地區科學基金項目2項。主持完成國家自然科學基金項目“基於代數結構及公理語義的泛型約束方法研究”(61462039)；主持完成的江西省自然科學基金項目“Apla中泛型約束方法與套用研究”(20142BAB217023)結題評價為“優”；主持完成國家自然科學基金重大國際（地區）合作研究項目“若干軟體新技術及其在PAR平台中的實驗研究”的子項目“語言安全泛型機制的設計與實現”。主持在研國家自然科學基金項目“基於PAR的樹與圖結構泛型算法通用驗證和生成方法”(61862033)。
近年主持國家級、省部級項目：
1.國家自然科學基金項目，基於PAR的樹與圖結構泛型算法通用驗證和生成方法（編號：61862033），2019.1-至今，38萬元
2.國家自然科學基金項目，基於代數結構及公理語義的泛型約束方法研究（編號：61462039），2015.1-2018.12，已結題，44萬元
3.國家留學基金管理委員會國家公派高級研究學者、訪問學者、博士後項目，樹與圖結構算法程式的驗證和生成方法在軟體系統邏輯驗證領域的套用（編號：202008360094），2020.7-2021.6，15萬元
4.國家自然科學基金重大國際（地區）合作與交流項目:若干軟體新技術及其在PAR平台中的實驗研究（編號61020106009）2011.1-2015.12，已結題， 子項目負責人250萬元
5.江西省自然科學基金項目，Apla中泛型約束方法與套用研究（編號：20142BAB217023），2014.1-2016.6，已結題，結題獲評“優秀”，5萬
6.江西省教育廳科學技術研究項目項目，樹與圖上泛型算法通用驗證和生成方法研究（編號：GJJ150349），2016.1-2018.12，已結題，3萬
7.江西省教育廳科學技術研究項目項目，基於PAR的Apla泛型約束方法研究及其套用（編號：GJJ14268），2014.1-2014.12，已結題，1.5萬
科研成果
在《軟體學報》、《電子學報》、《計算機研究與發展》、《Cluster Comput》、ICECCS、FAW等國內外高水平學術刊物和會議上發表論文二十餘篇，其中SCI/EI檢索十餘篇，CCF-A類論文3篇。主編出版專著1部、教材2部，登記軟體著作權2項。
榮譽
科研榮譽
獲得科技部頒發的“2016年度領跑者5000中國精品科技期刊頂尖學術論文獎”1項、中國計算機學會頒發的“全國理論計算機科學學術年會優秀論文獎”2項。
鑒於在計算機及相關領域做出較高成就和對CCF服務方面有顯著貢獻，中國計算機學會授予其CCF高級會員榮譽。
教學榮譽
承擔江西省研究生、本科教改重點項目各1項，省級精品資源共享課1項。指導研究生獲2019年數學建模國際賽提名獎(Finalist)、中國研究生數學建模競賽三等獎各1項，江西省研究生數學建模競賽二等獎、三等獎各2項。任職以來，共獲江西師大年度考核“優秀個人”獎4次、教學質量“優秀個人”獎6次，2019年獲評2017-2018年度工會工作“積極分子”；2017年獲評(2014-2016年)聘期考核“優秀”個人。
