左正康，男，毕业于中国科学院大学，获工学博士学位。国家公派英国莱斯特大学访问学者，全球十大正规网赌网址计算机科学与技术系副主任、电子信息专业学位硕士点团队建设负责人、教授、硕士生导师。CCF高级会员，CCF理论计算机科学专委会和形式化方法专委会执委，国家自然科学基金信息科学部评审专家，教育部学位中心评审专家，中国老员工服务外包创新创业大赛评审专家库成员，2020、2021年全国理论计算机科学学术年会程序委员会委员，第五届通信与信息系统国际会议（ICCIS 2021）技术委员会委员，SCI二区期刊《IEEE Access》审稿专家，安徽、湖南、江西等三省自然科学基金评审专家，江西和壹科技有限公司技术总监，《全球十大正规网赌网址学报》（自然科学版）审稿专家，江西神州司法鉴定中心声像资料司法鉴定人，江西省计算机学会网络化智能教育专业委员会委员，江西省人工智能学会会员。

  长期从事可信软件、软件形式化方法、泛型程序设计等领域的研究。主持国家自然科学基金项目2项、国家留学基金委面上项目1项、江西省自然科学基金面上项目等省部级项目4项；主持完成国家自然科学基金重大国际（地区）合作研究项目子项目1项，第2重要参与完成国家自然科学基金面上项目2项、地区科学基金项目2项。主持完成国家自然科学基金项目“基于代数结构及公理语义的泛型约束方法研究”(61462039)；主持完成的江西省自然科学基金项目“Apla中泛型约束方法与应用研究”(20142BAB217023)结题评价为“优”；主持完成国家自然科学基金重大国际（地区）合作研究项目“若干软件新技术及其在PAR平台中的实验研究”的子项目“语言安全泛型机制的设计与实现”。目前主持在研国家自然科学基金项目“基于PAR的树与图结构泛型算法通用验证和生成方法”(61862033)、国家留学基金委国家公派访问学者面上项目“树与图结构算法程序的验证和生成方法在软件系统逻辑验证领域的应用”（202008360094）、江西省自然科学基金面上项目“基于PAR的非线性结构泛型算法通用验证和生成方法”（20202BABL202026）。

  在《Cluster Computing》(SCI，JCR 一区)、《International Journal of Software Engineering and Knowledge Engineering》(SCI)、《软件学报》、《电子学报》、《计算机研究与发展》、《武汉大学学报(自然科学英文版)》、ICECCS、QRS、ICFEM、FAW等国内外高水平学术刊物和会议上发表论文30余篇，其中SCI/EI检索10余篇，CCF-A类3篇，JCR 一区1篇，CCF-C类4篇，CORE-A类1篇，CORE-B类5篇。出版学术专著1部、主编教材3部，获授权专利1项，软件著作权3项。

  获得科技部颁发的“2016年度领跑者5000中国精品科技期刊顶尖学术论文奖”1项、中国计算机学会颁发的“全国理论计算机科学学术年会优秀论文奖”2项。

  目前承担江西省研究生、本科教改重点项目各1项，省级精品资源共享课1项，省级一流本科课程1项。指导研究生获2019年中国研究生数学建模竞赛（国家A2级赛）三等奖、2020年全国老员工数字媒体科技作品及创意竞赛全国总决赛一等奖、2021年 “认证杯”数学中国数学建模网络挑战赛一等奖、2019年数学建模国际赛特等提名Finalist奖、2020年全国老员工数字媒体科技作品及创意竞赛全国总决赛三等奖、2020年江西省研究生数学建模竞赛一等奖、2020年江西省研究生数学建模竞赛二等奖、2020年数学建模国际赛优秀奖各1项，2020年数学建模国际赛一等奖2项；指导本科生获2020年中国老员工计算机设计大赛（国家A3级赛）二等奖1项、三等奖2项。

  任职以来，共获全球十大正规网赌网址年度考核“优秀个人”奖4次、教学质量“优秀个人”奖7次；2020年和2017年连续获评(2017-2019年) 和(2014-2016年)两轮聘期考核“优秀”个人；2019年获评2017-2018年度校工会工作“积极分子”。多门课程获评校级“优课”。

  鉴于在计算机及相关领域做出较高成就和对CCF服务方面有显著贡献，中国计算机学会授予其CCF高级会员荣誉（https://www.ccf.org.cn/Membership/Individual_member/Honor/）。

近年主持科研项目（项目负责人）：

1.国家自然科学基金项目，基于PAR的树与图结构泛型算法通用验证和生成方法（编号：61862033），2019.1-至今，38万元

2.国家自然科学基金项目，基于代数结构及公理语义的泛型约束方法研究（编号：61462039），2015.1-2018.12，已结题，44万元 

3.国家留学基金管理委员会国家公派高级研究学者、访问学者、博士后项目，树与图结构算法程序的验证和生成方法在软件系统逻辑验证领域的应用（编号：202008360094），2021.7-2022.6，15万元

4.国家自然科学基金重大国际（地区）合作与交流项目，若干软件新技术及其在PAR平台中的实验研究（编号61020106009） 2011.1-2015.12，已结题， 子项目负责人 250万元

5.江西省自然科学基金面上项目, 基于PAR的非线性结构泛型算法通用验证和生成方法（编号20202BABL202026），2020.1-2021.12，6万元

6.江西省自然科学基金项目，Apla中泛型约束方法与应用研究（编号：20142BAB217023），2014.1-2016.6，已结题，结题获评“优秀”，5万元

7.江西省教育厅科学技术研究项目，树与图上泛型算法通用验证和生成方法研究（编号：GJJ150349），2016.1-2018.12，已结题，3万元

8.江西省教育厅科学技术研究项目，基于PAR的Apla泛型约束方法研究及其应用（编号：GJJ14268），2014.1-2014.12，已结题，1.5万元