科大84级少年班校友、国家杰青、中科院软件所张健研究员回科大，给王小谟网络空间科技英才班的学生们开讲，时间：11月12日下午3：55，题目是：软件缺陷及软件质量保障。报告人简介:张健，中国科学院软件研究所研究员。主要研究兴趣包括:自动推理、约束求解、软件测试与分析、形式化方法等。在一阶逻辑公式可满足性判定、软件测试数据自动生成、基于符号执行的程序分析等方面取得了-系列重要成果。曾获得中创软件人才奖、国家杰出青年科学基金、国务院政府特殊津贴。目前担任《中国科学:信息科学》，《计算机学报》，JCST,FrontiersofCS,IEEETrans.onReliabilit,《计算机科学与探索》编委。曾任国家自然科学基金委员会“可信软件基础研究”重大研究计划的指导专家组成员。报告摘要:本报告将简要介绍几种程序缺陷和漏洞，然后介绍提高软件质量的多种手段(包括程序分析、验证与测试)以及相关的软件开发标准。其中，将提及我们在程序分析和测试方面的若干研究内容及成果。

张健，博士、副教授。现就职于澳大利亚悉尼科技大学。1999年自澳大利亚新南威尔士大学获得博士学位。他的研究兴趣包括多媒体信号处理、计算机视觉、模式识别、视觉信息挖掘、人机交互等。学术兼职包括TCSVT、TMM等期刊编委、ICME2012大会主席等.Countingpedestriansandmeasuringcrowddensityplayanessentialroleforcrowdmonitoringapplicationsincludingphysicalsecurity,publicspacemanagement,andretailspacedesign.Forthepopulardensity-map-estimationbasedcountingframework,therearemainlytwoquestionsinvolvedforaccuratecountingresult:i).accuraterecognitionoftargetobjectandbackground;ii).preciseestimationofdensityvaluesoftargetobjects.Thistalkfirstbeginswithaliteraturereviewofcrowdcountingalgorithms:includingtraditionalhand-craftedfeaturebasedmethodstothenewlyemergingdeeplearningbasedcrowdcountingmethods,andthenwepresentourworktowardsthetwofatalproblemsmentionedabove.

中科院软件研究所张健研究员学术报告会题目：程序分析时间：2017年4月24日10:00地点：西区电三楼632学术报告厅

摘要：WeusequantumexterioralgebrastogiveanewandelementaryformulationofquantumPfaffiansandgeneralizedquantumPfaffiansbasedonquantumPlückerrelations.Inthisapproach,thequantumPfaffiansareforanysquarematrixsatisfyingasimplequadraticrelation.Inparticular,weprovethefundamentalidentityexpressinganyquantumdeterminantasaquantumPfaffian.