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

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

　　吳志林長期從事計算邏輯、自動機理論、程序驗證相關的基礎研究工作，取得了多項突出成果：解決了經典存儲自動機帶算術操作的可判定擴展的難題；提出了字符串約束可判定的語義條件和一般性的判定算法，開發了目前支持字符串操作最多的字符串約束求解器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年獲得該獎項的還有國防科技大學郭得科教授、北京大學梁云副教授、南京大學俞揚教授、清華大學翟季冬副教授。

頒獎現場

獲獎證書