助理研究员
| 姓名 | 邮箱 | 研究方向 |
| 陈世腾 | chenst (at) ios.ac.cn | |
| 林锦坤 | linjk (at) ios.ac.cn | NP难问题求解，组合优化，基于搜索的软件工程 |
| 彭攀 | pengpan (at) ios.ac.cn | |
| 杨潇潇 | xxyang (at) ios.ac.cn | 形式化方法、数据结构与算法、程序验证 |
| 郑维 | zhengw (at) ios.ac.cn | |
| 李黎明 | lilm (at) ios.ac.cn | 形式化验证方法 |
| 瞿荣 | qurong (at) ios.ac.cn | 软件测试 |
Copyright © 2019 计算机科学国家重点实验室 All Rights Reserved. 京ICP备05046678号