遇见爱情的利先生

扫一扫关注微信二维码 海边
【学术(shu)报告】张(zhang)健研究员高水(shui)平学术(shu)报告
发表时间:2018-11-25作者:浏览: 324

20191112日,应我院(yuan)(yuan)(yuan)俞能海教(jiao)授的邀请,中(zhong)国科学(xue)院(yuan)(yuan)(yuan)软件研究所张健研究员来(lai)访我院(yuan)(yuan)(yuan),并在西区教(jiao)学(xue)三楼做专题为“软件缺陷(xian)及软件质量保(bao)障(zhang)”的学(xue)术(shu)报告。网(wang)络空间安全学(xue)院(yuan)(yuan)(yuan)与信息(xi)学(xue)院(yuan)(yuan)(yuan)等(deng)各系学(xue)生参与了此(ci)次学(xue)术(shu)报告,反响热烈。

在本次(ci)报告中,张健研究员从集中常见(jian)程序缺陷和(he)漏洞(dong)入手,着重(zhong)介绍了(le)提高软件质(zhi)量的多种手段(包括程序分(fen)析、验证与测试(shi))以及相关的软件开发标准(zhun)。其中,也提及了(le)在程序分(fen)析和(he)测试(shi)方面取得(de)的若(ruo)干研究内容(rong)和(he)成(cheng)果。

 

报(bao)告人(ren)简(jian)介

张(zhang)健(jian),中(zhong)国科(ke)学(xue)(xue)院软(ruan)件(jian)研(yan)究(jiu)所(suo)研(yan)究(jiu)员。主(zhu)要(yao)研(yan)究(jiu)兴趣(qu)包括:自(zi)动(dong)推理、约(yue)束求(qiu)解、软(ruan)件(jian)测(ce)试与分析、形式化方法等(deng)(deng)。在一(yi)阶逻辑公(gong)式可满足性判定、软(ruan)件(jian)测(ce)试数据自(zi)动(dong)生成、基(ji)于符号执行的程序分析等(deng)(deng)方面取得了(le)一(yi)系列重要(yao)成果。曾获得中(zhong)创软(ruan)件(jian)人才奖、国家杰出青年科(ke)学(xue)(xue)基(ji)金、国务(wu)院政(zheng)府特(te)殊津(jin)贴。目前担(dan)任《中(zhong)国科(ke)学(xue)(xue):信息科(ke)学(xue)(xue)》,《计算机(ji)学(xue)(xue)报(bao)》,JCST, Frontiers of CS, IEEE Trans. on Reliability,《计算机(ji)科学与探索(suo)》编委(wei)。曾任国家(jia)自(zi)然科学基金委(wei)员(yuan)会“可信(xin)软件基础研(yan)究”重大研(yan)究计划(hua)的(de)指导(dao)专(zhuan)家(jia)组成员(yuan)。


xml地图 | sitemap地图
寻情记
分享到:QQ空间新浪微博腾讯微博人人网微信
心动的信号 三国杀 李大钊 我们的新时代 中超直播 建军大业 杨紫 300英雄 江西一村全年无蚊重庆发现吃虫植物 周玄毅私生活混乱被武大处分 爱情公寓开门大吉 寻情记 西甲直播 中国奥运首金集合 吞噬星空 美好的日子 刺客伍六七 你的婚礼 只是太爱你 杨紫肖战 五菱宏光 地下城与勇士 极限挑战宝藏行 中国女排不敌美国守岛人 逆天邪神 老年版APP兴起武汉实验室没泄漏 进击的巨人西游记 地球绝美画面 猪猪侠 女生创建救命文档我和我的祖国 桂纶镁 寂静之地2 甄嬛传 普京就河南严重内涝致慰问电 移动成立芯片公司 天龙八部 马克龙手机遭监听 王牌对王牌 小马宝莉 万古神帝 解放军报 千与千寻 易烊千玺 寂静之地2 专家解读诡异的云 坦克世界 丰田 中超直播 奥运开幕式生变故 爱情公寓开门大吉 王一博 张飞 恰好是少年 中国远征军 韩国泡菜中文译名 植物大战僵尸 | 下一页
Baidu
sogou
百度 搜狗 360