个人简介

(E-MAIL:kerrykaren@126.com,
手机号：**,
QQ/微信号：**)
左正康，男，1980年生，中国科学院软件研究所博士，国家公派英国莱斯特大学访问****，江西师范大学教授、硕士生导师。中国计算机学会（CCF）理论计算机科学专委会和形式化方法专委会委员，国家自然科学基金信息科学部评审专家，教育部学位中心评审专家，湖南省、江西省科技计划项目评审专家，江西和壹科技有限公司技术总监，《江西师范大学学报》（自然科学版）审稿专家，江西省人工智能学会会员。主要研究方向为可信软件、泛型程序设计。
主持国家自然科学基金等国家级项目3项、省部级项目3项，主持完成国家自然科学基金重大国际（地区）合作研究项目子项目1项，第2重要参与完成国家自然科学基金面上项目2项、地区科学基金项目2项。主持完成国家自然科学基金项目“基于代数结构及公理语义的泛型约束方法研究”(**)；主持完成的江西省自然科学基金项目“Apla中泛型约束方法与应用研究”(20142BAB217023)结题评价为“优”；主持完成国家自然科学基金重大国际（地区）合作研究项目“若干软件新技术及其在PAR平台中的实验研究”的子项目“语言安全泛型机制的设计与实现”。目前主持在研国家自然科学基金项目“基于PAR的树与图结构泛型算法通用验证和生成方法”(**)。
在《软件学报》、《电子学报》、《计算机研究与发展》、《Cluster Comput》、ICECCS、FAW等国内外高水平学术刊物和会议上发表论文二十余篇，其中SCI/EI检索十余篇，CCF-A类论文3篇。主编出版专著1部、教材2部，登记软件著作权2项。
获得科技部颁发的“2016年度领跑者5000中国精品科技期刊顶尖学术论文奖”1项、中国计算机学会颁发的“全国理论计算机科学学术年会优秀论文奖”2项。
目前承担江西省研究生、本科教改重点项目各1项，省级精品资源共享课1项。指导研究生获2019年数学建模国际赛提名奖(Finalist)、中国研究生数学建模竞赛三等奖各1项，江西省研究生数学建模竞赛二等奖、三等奖各2项。任职以来，共获江西师大年度考核“优秀个人”奖4次、教学质量“优秀个人”奖6次，2019年获评2017-2018年度工会工作“积极分子”；2017年获评(2014-2016年)聘期考核“优秀”个人。
鉴于在计算机及相关领域做出较高成就和对CCF服务方面有显著贡献，中国计算机学会授予其CCF高级会员荣誉（https://www.ccf.org.cn/Membership/Individual_member/Honor/）。
近年主持项目：
1. 国家自然科学基金项目，基于PAR的树与图结构泛型算法通用验证和生成方法（编号：**），2019.1-至今，38万元
2. 国家自然科学基金项目，基于代数结构及公理语义的泛型约束方法研究（编号：**），2015.1-2018.12，已结题，44万元
3. 国家留学基金管理委员会国家公派高级研究****、访问****、博士后项目，树与图结构算法程序的验证和生成方法在软件系统逻辑验证领域的应用（编号：4），2020.7-2021.6，15万元
4. 国家自然科学基金重大国际（地区）合作与交流项目: 若干软件新技术及其在PAR平台中的实验研究（编号） 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万