複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/宋富/20165421
複製
複製成功

宋富

（上海科技大學信息科學與技術學院助理教授）

鎖定
宋富，助理教授、博導、研究員 [1]  。畢業於巴黎第七大學&法國國家科研中心，導師，Tayssir Touili。博士畢業論文的題目為“基於模型檢查技術的計算機病毒行為分析”。主要研究模型檢查理論和算法，並將該技術應用於源碼級和二進制代碼級的程序分析和研究。面向源碼級程序，主要研究程序功能的正確性。針對二進制代碼級程序，主要分析其惡意行為。採用事態邏輯刻畫惡意行為，自動機建模二進制程序，將病毒識別規約到模型檢查問題。發表論文EI/SCI檢索30餘篇。
中文名
宋富 [2] 
外文名
Fu Song [2] 
畢業院校
University Paris-Diderot(Paris 7) [2] 
職    業
教師 [2] 
代表作品
Verifying Pushdown Multi-Agent Systems against Strategy Logics [2] 
主要成就
發表論文EI/SCI檢索30餘篇
導    師
Tayssir Touili
學歷/學位
博士
職    稱
助理教授、研究員

目錄

  1. 1 個人履歷
  2. 2 研究方向
  1. 3 研究內容
  2. 4 代表論文
  1. 5 主持項目
  2. 6 社會兼職

宋富個人履歷

2006年，獲得寧波大學電子信息科學與技術專業學士學位 [2] 
2009年，獲得華東師範大學軟件工程專業碩士學位 [2] 
2013年，獲得University Paris-Diderot(Paris 7)計算機科學專業博士學位 [2] 
2013年7月-2015年12月，華東師範大學任講師 [2] 
2014年6月-2014年9月，南洋理工大學任訪問研究員 [2] 
2016年1月-2016年7月，華東師範大學任副研究員 [2] 
2016年8月，加入上海科技大學，在信息科學與技術學院任助理教授 [2] 

宋富研究方向

形式化方法(Formal methods)
軟件分析與驗證(Software analysis and verfication)
模型檢查(Model-checking)
自動機與邏輯(Automata theory and logics)
系統與軟件安全(Cyber Security)

宋富研究內容

宋富研究領域包括模型檢查、系統自動分析與驗證及在系統安全方面的應用，其提出的基於下推自動機模型檢查的惡意軟件檢查方法在第18屆TACAS/ETAPS國際會議上獲得了歐洲軟件科學與技術協會（EASST）頒發的最佳論文獎。 [2] 

宋富代表論文

1. Taolue Chen, Fu Song* and Zhilin Wu. Verifying Pushdown Multi-Agent Systems against Strategy Logics. In Proc. of the 25th International Joint Conference on Artifficial Intelligence (IJCAI 2016). New York, USA. 9-15 July, 2016. [2] 
2. Taolue Chen, Fu Song* and Zhilin Wu. Global Model Checking on Pushdown Multi-Agent Systems. In Proc. of the 30th AAAI Conference on Artifficial Intelligence (AAAI 2016). Arizona, USA. 12-17 February, 2016. [2] 
3. Fu Song, Weikai Miao, Geguang Pu and Min Zhang. On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference. In Proc. of the 26th International Conference on Concurrency Theory (CONCUR 2015). Madrid, Spain. 1-4 September, 2015. [2] 
4. Fu Song and Tayssir Touili. Efficient CTL Model-Checking for Pushdown Systems. Int. Journal on Theoretical Computer Science (TCS), Volume 549, 11 September 2014, Pages 127-145. DOI:10.1016/j.tcs.2014.07.001. [2] 
5. Fu Song and Tayssir Touili. LTL Model-Checking for Malware Detection. In Proc. of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013). Rome, Italy. March 16-24, 2013. DOI:10.1007/978-3-642-36742-7_29. [2] 
6. Fu Song and Tayssir Touili. Pushdown Model-Checking for Malware Detection. In Proc. of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012).Tallinn, Estonia. March 24-April 1, 2012. DOI:10.1007/978-3-642-28756-5_9. This paper won the EASST best paper award at ETAPS 2012. [2] 

宋富主持項目

  1. 國家自然科學基金委青年項目(PI,2015.01-2017.12)
  2. 上海市浦江人才計劃(PI,2014.07-2016.6)
  3. 上海市晨光計劃(PI,2015.01-2016.12)

宋富社會兼職

期刊/會議審稿：VMCAI'14, POPL'14, CONCUR'13, SPIN'12, AVoCS'12.
參考資料