左正康
近期热点
资料介绍
个人简历
左正康,男,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)高级会员,中国计算机学会理论计算机科学专业委员会委员,江西省人工智能学会会员,江西师范大学副教授、硕士生导师。担任国家自然科学基金信息科学部通讯评审专家、江西省科技计划项目评审专家、《江西师范大学学报》(自然科学版)审稿专家、江西和壹科技有限公司技术总监。 相关热点
最新收录
- 椛岛光 06-01
- 星乃梦奈(ほしの ゆな 06-01
- 沖田奈奈 沖田奈々(Nana 06-01
- 藤仁依那 藤にいな(Niina 06-01
- 矢田步美 矢田あゆみ(Ay 06-01
- 妹岳夏目 妹岳なつめ(Na 06-01
- 麻仓香穗里 麻仓かほり 06-01
- 立花广美 (立花ひろみ H 05-31
- 里中瑞穗(里中みずほ Mi 05-31
- 结月莉亚(結月りあ) 05-31