人才队伍

助理研究员

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