地图     English
蔡彦

出自计算机科学国家重点实验室

首页 > 人才队伍 > 科研人员 > 蔡彦
跳转到: 导航, 搜索
职称: 副研究员
研究方向: 程序语言分析与软件测试理论
电话: 010-62661613
E-Mail: yancai(at)ios.ac.cn
个人主页: http://lcs.ios.ac.cn/~yancai

主要研究多线程程序中并行缺陷,包括并行缺陷的高效检测算法、主动调度算法,以及这些缺陷的自动修复。并注重在大规模程序中的应用。


版权所有 © 中国科学院软件研究所计算机科学国家重点实验室 Powered by MediaWiki
京ICP备05046678号