吳志林研究員獲2020年“CCF-IEEE CS青年科學家獎”

文章來源:  |  發布時間:2020-10-27  |  【打印】 【關閉

  

   10月22日至24日,中國計算機學會(CCF)頒獎典禮在京舉行。中國科學院軟件研究所吳志林研究員被授予2020年“CCF-IEEE CS青年科學家獎”,表彰其在自動機理論和程序驗證方面所做出的突出貢獻。

  吳志林博士畢業于軟件所計算機科學國家重點實驗室,曾先后在中國科學院自動化研究所、法國波爾多第一大學、巴黎第七大學學習和工作?,F為軟件所計算機科學國家重點實驗室研究員。

  吳志林長期從事計算邏輯、自動機理論、程序驗證相關的基礎研究工作,取得了多項突出成果:解決了經典存儲自動機帶算術操作的可判定擴展的難題;提出了字符串約束可判定的語義條件和一般性的判定算法,開發了目前支持字符串操作最多的字符串約束求解器OSTRICH;提出了安卓棧自動機模型對安卓操作系統多任務機制的語義進行了形式化,并對Android應用相關靜態分析問題進行了深入探討。這些成果發表在理論計算機科學、編程語言、和形式驗證等方面的頂級國際會議和期刊上,包括LICS、POPL、CAV、Information and Computation、AAAI、IJCAI、IJCAR、CADE、CONCUR等。吳志林先后主持和參與多項國家級項目,擔任中國計算機學會形式化方法專業委員會委員及ATVA、ICECCS、LATA、GandALF等知名國際會議的程序委員會委員。

  “CCF-IEEE CS青年科學家獎”由CCF和IEEE Computer Society(CS)共同評選和頒發,授予在科學研究方面有突出成就和重要貢獻、年齡不超過40歲的青年學者。2020年獲得該獎項的還有國防科技大學郭得科教授、北京大學梁云副教授、南京大學俞揚教授、清華大學翟季冬副教授。

頒獎現場

獲獎證書

 

爱玩棋牌官方网站下载安装 取闲哈尔滨麻将手机版下载 贵州快三预测号码软件 重庆麻将换三张 腾讯棋牌斗地主 ewin棋牌官网注册 深圳风采预测 上海十一选五任一遗漏 官方大圣捕鱼游戏下载 温州麻将财神是什么 手机单机麻将 棋牌游戏大全排名最火 加拿大快乐8开奖官方网站 海南体彩4 1开奖结果 黑龙江十一选五遗漏数据 nba热火步行者 微乐捉鸡麻将