助理研究员
| 姓名 | 邮箱 | 研究方向 |
| 陈世腾 | 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 | 软件测试 |