个人简介

蔡彦研究员、博导 软件研究所（计算机科学国家重点实验室） 招生信息 招收2020入学推免生，软件测试、并发分析、安全等方面，有意者请邮件联系 招生专业 081202-计算机软件与理论 083500-软件工程 招生方向 并发程序分析,软件测试理论,程序安全 教育背景 2010-09--2014-08香港城市大学博士 2009-10--2010-03日本熊本大学ResearchStudent 2005-09--2009-07山东大学学士 奖励信息 （1）CCFNASAC-东软青年软件创新奖,其他,2018 （2）优秀导师（中国科学院软件研究所）,研究所（学校）,2018 （3）ACMSIGSOFTCAPSTravelAward,一等奖,专项,2014 （4）OutstandingAcademicPerformanceAward,一等奖,研究所（学校）,2013 （5）ResearchTuitionScholarship,一等奖,研究所（学校）,2013 专利成果 （1）一种用于数据竞争检测的程序调度方法,发明,2018,第1作者,专利号:201510399123.1 （2）一种基于锁提前获取的死锁自动修复方法,发明,2018,第1作者,专利号:201610069697.7 （3）一种基于硬件和线程本地时序的数据竞争采样检测方法,发明,2018,第1作者,专利号:201610565161.4 指导学生 已指导学生 曹玲微硕士研究生081203-计算机应用技术 朱碧云硕士研究生081202-计算机软件与理论 现指导学生 李海成硕士研究生085211-计算机技术 孟瑞杰硕士研究生083500-软件工程 云昊硕士研究生083500-软件工程 祝世豪博士研究生083500-软件工程 学生荣誉 曹玲微(2015-2018),工作:阿里巴巴 2018:北京市优秀毕业生，中国科学院大学优秀毕业生，中国科学院院长奖学金（院长优秀奖学金） 2017:国家奖学金,ACMSIGSOFTCAPSfunds(1250USD) 2016:ACMSIGSOFTCAPSfunds(1000USD) 2016-2017:中国科学院大学学业奖学金一等奖、三好学生,计算机科学国家重点实验室绩效奖学金一等奖 2015-2016:中国科学院大学学业奖学金二等奖,计算机科学国家重点实验室绩效奖学金一等奖 朱碧云(2016-2019),工作:百度 2018：中国科学院大学学业奖学金二等奖，三好学生 2019：中国科学院大学学业奖学金二等奖，三好学生，计算机科学国家重点实验室绩效奖学金二等奖