个人简历

左正康，男，1980年生，博士，2011年毕业于中国科学院大学，获计算机科学与技术工学博士学位。
主持国家自然科学基金项目2项、省部级科研项目3项，并参与完成国家自然科学基金重大国际合作项目1项及面上项目4项。主持完成国家自然科学基金项目“基于代数结构及公理语义的泛型约束方法研究”(61462039)，主持完成的江西省自然科学基金项目“Apla中泛型约束方法与应用研究”(20142BAB217023)结题评价为“优”，目前主持在研国家自然科学基金项目“基于PAR的树与图结构泛型算法通用验证和生成方法”(61862033)。
2016年，作为主编在中国铁道出版社出版教材2部：《计算机系统导论（第2版）》、《计算机系统导论实验教程（第2版）》。
在《软件学报》、《电子学报》、《计算机研究与发展》、《ClusterComput》、《JournalofNetworks》、《JournalofComputationalInformationSystems》、ICECCS、FAW、AIIE、CAPRI等国内外重要学术期刊及国际会议发表论文二十余篇，获软件著作权1项。
获科技部颁发的“2016年度领跑者5000中国精品科技期刊顶尖学术论文奖”1项、中国计算机学会颁发的“全国理论计算机科学学术年会优秀论文奖”2项。
获江西师大年度考核“优秀个人”奖4次、教学质量“优秀个人”奖5次、2014年-2016年度三年聘期考核“优秀个人”奖1次、2017-2018年度工会工作“积极分子”1次、江西师大科技学院优质课程奖1次。
近年主持项目：
1.国家自然科学基金项目，基于PAR的树与图结构泛型算法通用验证和生成方法（编号：61862033），2019.1-至今，38万
2.国家自然科学基金项目，基于代数结构及公理语义的泛型约束方法研究（编号：61462039），2015.1-2018.12，已结题，44万
3.江西省自然科学基金项目，Apla中泛型约束方法与应用研究（编号：20142BAB217023），2014.1-2016.6，已结题，结题获评“优秀”，5万
4.江西省教育厅科学技术研究项目项目，树与图上泛型算法通用验证和生成方法研究（编号：GJJ150349），2016.1-2018.12，已结题，3万
5.江西省教育厅科学技术研究项目项目，基于PAR的Apla泛型约束方法研究及其应用（编号：GJJ14268），2014.1-2014.12，已结题，1.5万

研究领域

主要研究方向为可信软件、泛型程序设计。
中国计算机学会（CCF）高级会员，中国计算机学会理论计算机科学专业委员会委员，江西省人工智能学会会员，江西师范大学副教授、硕士生导师。担任国家自然科学基金信息科学部通讯评审专家、江西省科技计划项目评审专家、《江西师范大学学报》（自然科学版）审稿专家、江西和壹科技有限公司技术总监。