2017年12月22日上午，国家杰出青年科学基金获得者、中国科学院软件研究所张健研究员来新葡萄官网学术交流并作了题为“约束求解与自动推理”的学术报告。计算机学院副院长蒋运承教授主持了报告会，新葡萄官网40余名教师、博士硕士研究生参加了本次报告会。
张健老师从神经网络不断变革的发展背景出发，引出约束求解与自动推理是人工智能的重要研究方向。张老师用通俗易懂的数独游戏引出可满足性检测、一阶逻辑自动推理等理论问题，讲解对应的解决方法，并就拉丁方问题进行了详细的阐述。张老师还介绍了他在软件测试方面的研究工作，讲解了他团队开发的软件测试工具及其应用情况。
张健，中国科学院软件研究所研究员，曾先后获得中创软件人才奖、国家杰出青年科学基金、国务院政府特殊津贴。担任《计算机学报》、《中国科学：信息科学》、Journal of Computer Science and Technology、Frontiers of Computer Science、IEEE Transactions on Reliability、《计算机科学与探索》编委。曾担任ICSE、VSTTE、IJCAR、CADE、SAT、COMPSAC等重要国际会议程序委员会委员以及国际会议QRS 2015程序委员会主席。