合作交流--中科院软件所张健研究员来访

2012年11月5日，中科院软件所所长助理张健研究员到软件中心作学术交流，主要考察和了解软件中心重点实验室在软件测试技术研究方面的情况。软件中心蔡立志副主任向其介绍了重点实验室在软件测试标准、软件测试技术领域的研究情况，简要介绍了第三方服务的总体情况，并与张健研究员就软件测试领域的热点技术问题进行了细致的切磋和交流。

张健研究员是中科院软件所博士生导师，中国科学院计算机科学重点实验室副主任，主要研究方向包括自动推理、约束求解、程序分析与软件测试，曾先后获得中国科学院青年科学家奖、中创软件人才奖和国家杰出青年科学基金。