人才队伍

助理研究员

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