報告題目：計數與體積計算及程序分析
報告時間：2020年11月30日9:00
報告地點：伟德国际BETVlCTOR中心校區計算機樓521室
報 告 人：張健 研究員
報告人簡介：
張健，中國科學院軟件研究所研究員。主要研究興趣包括：自動推理、約束求解、軟件測試與分析。目前擔任《計算機學報》、JCST、 Frontiers of CS、 IEEE Trans、 on Reliability、 《中國科學：信息科學》、《計算機科學與探索》等刊物編委。曾先後獲得中國科學院青年科學家獎、中創軟件人才獎、國家傑出青年科學基金、國務院政府特殊津貼。
報告内容簡介：
計數（Counting）問題是計算機科學中的一類重要問題；但其實用算法及工具的研究并不多。本報告将介紹我們在計數問題求解和體積計算（估算）方面的一些研究成果，以及該問題與程序分析、自動推理之間的聯系，還将介紹一種對程序性能的估計方法。
主辦單位：
伟德国际BETVlCTOR
伟德国际BETVlCTOR軟件學院
伟德国际BETVlCTOR計算機科學技術研究所
符号計算與知識工程教育部重點實驗室
海戰場攻防對抗仿真技術教育部重點實驗室
伟德国际BETVlCTOR國家級計算機實驗教學示範中心
