吳志林研究員獲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年獲得該獎項的還有國防科技大學郭得科教授、北京大學梁云副教授、南京大學俞揚教授、清華大學翟季冬副教授。

頒獎現場

獲獎證書

 

爱玩棋牌官方网站下载安装 天津时时彩开奖时间 攒劲甘肃麻将有规律么 天空彩票与你同行 南粤风采好彩一开奖查询 贵州11选5一定牛走势图 捕鱼大师pc版 麻将 新手 入门 诀窍 广西麻将诀窍 金博棋牌官网下载安装 香港王中王中特精选玄机 体彩福建36选7 免费炸金花游戏下载 内蒙古十一选五开奖结果查询一定牛 福彩3d综合走势图表 熊猫四川麻将下载 海南飞鱼开奖查询