宋富

宋富，助理教授、博导、研究员。毕业于巴黎第七大学&法国国家科研中心，导师，Tayssir Touili。博士毕业论文的题目为“基于模型检查技术的计算机病毒行为分析”。主要研究模型检查理论和算法，并将该技术应用于源码级和二进制代码级的程序分析和研究。面向源码级程序，主要研究程序功能的正确性。针对二进制代码级程序，目前主要分析其恶意行为。采用事态逻辑刻画恶意行为，自动机建模二进制程序，将病毒识别规约到模型检查问题。发表论文EI/SCI检索30余篇。

2006年，获得宁波大学电子信息科学与技术专业学士学位

2009年，获得华东师范大学软件工程专业硕士学位

2013年，获得University Paris-Diderot(Paris 7)计算机科学专业博士学位

2013年7月-2015年12月，华东师范大学任讲师

2014年6月-2014年9月，南洋理工大学任访问研究员

2016年1月-2016年7月，华东师范大学任副研究员

2016年8月，加入上海科技大学，在信息科学与技术学院任助理教授

形式化方法(Formal methods)

软件分析与验证(Software analysis and verfication)

模型检查(Model-checking)

自动机与逻辑(Automata theory and logics)

系统与软件安全(Cyber Security)

宋富研究领域包括模型检查、系统自动分析与验证及在系统安全方面的应用，其提出的基于下推自动机模型检查的恶意软件检查方法在第18届TACAS/ETAPS国际会议上获得了欧洲软件科学与技术协会（EASST）颁发的最佳论文奖。

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. 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.

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.

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.

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.

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.

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.