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