人才队伍

助理研究员

姓名 邮箱 研究方向
郑维 zhengw (at) ios.ac.cn
李黎明 lilm (at) ios.ac.cn 形式化验证方法
瞿荣 qurong (at) ios.ac.cn 软件测试