曾任职于微软亚洲研究院，IBM欧洲研究院，法国国家科学研究中心系统分析与架构实验室（LAAS-CNRS），从事软体工程相关的研究开发工作，尤其在自动软体验证，软体测试、模型检测等方面有独到见解。
基于16个网页-相关网页
应用推荐
模块上移
模块下移
不移动