热点话题人物,欢迎提交收录!
最优雅的名人百科,欢迎向我们提交收录。
左正康
2023-05-11 09:58
  • 左正康
  • 左正康 - 副教授-江西师范大学-计算机信息工程学院-个人资料

近期热点

资料介绍

个人简历


左正康,男,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)高级会员,中国计算机学会理论计算机科学专业委员会委员,江西省人工智能学会会员,江西师范大学副教授、硕士生导师。担任国家自然科学基金信息科学部通讯评审专家、江西省科技计划项目评审专家、《江西师范大学学报》(自然科学版)审稿专家、江西和壹科技有限公司技术总监。

相关热点

扫码添加好友